JavaScript でスマートに非同期なコードを書くための Promise パターンの仕様のうち、thenメソッドに関する仕様であるPromises/A+の邦訳です。お約束の文言ですが、この翻訳は間違ってるかもしれません。ご指摘・ご質問は大歓迎です。

Promise/A+

この提言はPromises/A 仕様の提言の振る舞いを明確にし、かつ事実上の標準をカバーしつつ曖昧・問題のある部分を除いたものである。

Promises/Aと同様に、この提案はPromiseの作成・解決^{訳注 1}・棄却^{訳注 2}の方法については言及しない。

Promises/AからPromises/A+へのすべての差分は、Promises/Aとの差分（英語）に記述してある。

1. 概要

promise は、ある時点でまだ利用できない値を表現する。 promise を利用する主な方法としてthenメソッドがある。

2. 用語

2.1. 「 promise 」とは、thenメソッドを定義するオブジェクト、または関数である。

2.2. 「値」とは、JavaScriptの文法として正しい何らかの値である（undefinedや promise を含む）。

2.3. 「理由 ^{訳注 3}」とは、 promise が棄却された場合の理由を示す値である。

2.4. 「 変化してはならない 」とは、内容が不変的に同一であること（例： ===）。しかし、深い不変でなくともよい^{解説 1}。

3. 要件

3.1. promise の状態

promise は未解決（pending）、解決済（fulfilled）、棄却済（rejected）という3つの状態のいずれかをとる。

3.1.1. promise が未解決のとき、

3.1.1.1. 解決済か棄却済に遷移するかもしれない。

3.1.2. promise が解決済のとき、

3.1.2.1. 他の状態へと遷移してはならない。

3.1.2.2. 何かの値をもち、この値は 変化してはならない 。

3.1.3. promise が棄却済のとき、

3.1.3.1. 他の状態へと遷移してはならない。

3.1.3.2. 何らかの理由をもち、この理由は 変化してはならない 。

3.2. `then`メソッド

promise は、解決された値、または理由へのアクセス手段としてthenメソッドを提供しなければならない。

promise がもつthenメソッドは、2つの引数をとりうる。

promise.then(onFulfilled, onRejected)

3.2.1. onFulfilledとonRejectedのどちらも省略可能である。

3.2.1.1. もしonFulfilledが関数でなければ、無視しなければならない。

3.2.1.2. もしonRejectedが関数でなければ、無視しなければならない。

3.2.2. もしonFulfilledが関数であれば、

3.2.2.1. promiseの解決時にonFulfilledはpromiseの解決された値を第一引数として呼び出されなければならない。

3.2.2.2. onFulfilledは1回よりも多く呼び出されてはならない。

3.2.2.3. onRejectedが呼び出されたときには、onFulfilledは呼び出されてはならない。

3.2.3. もしonRejectedが関数であれば、

3.2.3.1. promiseの棄却時にonRejectedは理由を第一引数として呼び出されなければならない。

3.2.3.2. onRejectedは1回よりも多く呼び出されてはならない。

3.2.3.3. onFulfilledが呼び出されたときには、onRejectedは呼び出されてはならない。

3.2.4. thenは^4.1のonFulfilledかonRejectedの戻り値を返さなければならない。

3.2.5. thenは、同一の promise 内で複数回呼び出されるかもしれない。

3.2.5.1. もしpromiseが解決されたならば、各onFulfilledコールバックはthenメソッドによって登録された順に実行されなければならない。

3.2.5.2. もしpromiseが棄却されたならば、各onRejectedコールバックはthenメソッドによって登録された順に実行されなければならない。

3.2.6. then は promise を返さなければならない ^4.2。

promise2 = promise1.then(onFulfilled, onRejected);

3.2.6.1. もしonFulfilledまたはonRejectedのどちらかが promise ではない値を返したとき、promise2はその値を結果として解決されなければならない^{解説 2}。

3.2.6.2. もしonFulfilledまたはonRejectedのどちらかが例外を発生させたとき、promise2はその例外を理由として棄却されなければならない。

3.2.6.3. もしonFulfilledまたはonRejectedのどちらかが promise を返したとき（以降ではreturnedPromiseとする）、promise2はreturnedPromiseの状態を引き受けなければならない^4.3：

3.2.6.3.1. もしreturnedPromiseが未解決の場合、promise2はreturnedPromiseが解決されるか棄却されるまで未解決の状態でなければならない。

3.2.6.3.2. もしreturnedPromiseが解決済の場合、promise2はreturnedPromiseと同じ値で解決されなければならない。

3.2.6.3.3. もしreturnedPromiseが棄却された場合、promise2はreturnedPromiseと同じ理由で棄却されなければならない。

3.2.6.4. もしonFulfilledが関数でなく、かつpromise1が解決済の場合、promise2はpromise1と同じ値で解決されなければならない。

3.2.6.5. もしonRejectedが関数でなく、かつpromise1が棄却済の場合、promise2はpromise1と同じ理由で棄却されなければならない。

4. 脚注

Note 1

4.1. 実用的には、この実装はsetTimeoutやsetImmediate、process.nextTickなどのメカニズムを利用して、onFulfilledやonRejectedがthenで登録されたときと同じイベントループで実行されないことを保証しなければならないだろう。

Note 2

4.2. ある実装がpromise2 === promise1を許容している場合、この実装はすべての要件を満たしているといえる。このような実装では、どのような条件でpromise2 === promise1となるのかをドキュメントに書いておく必要があるだろう。

Note 3

4.3. このメカニズムはpromise2がreturnedPromiseがもつ不特定な状態を担うときのものである。合理的なアプローチのひとつとして、returnedPromise.then(fulfillPromise2, rejectPromise2)を呼び出すことが挙げられる：

4.3.1. fulfillPromise2は第一引数のpromise2を解決する関数である。

4.3.2. rejectPromise2は第一引数のpromise2を棄却する関数である。

このreturnedPromiseはPromises/A+に適わないかもしれないが、thenメソッドを持ち、promise2が常にreturnedPromiseの状態と同じ状態をとるという要件を満足しないような何らかのオブジェクトにすることによって可能になるかもしれない。したがって、この方法はもっとも信頼できる努力を象徴するだろう^{訳注 4}。

【ここに書かれているライセンスは原文に関してのライセンスです。この翻訳についてのライセンスについては最下部を参照願います】

Promises/A+ organizationは、Promises/A+仕様に関して法律の下で可能な限り著作権および関連する隣接権を放棄する。この成果物は米国から配信されている。

翻訳に関する注釈

Note from translator 1

原文では fulfill （実行する、遂行する、履行する）。「 promise の戻り値が確定し、後続の処理が実行されること」という意味です。この文書では解決と訳しました。

Note from translator 2

原文では reject （拒絶する、拒否する、棄却する）。「 promise の例外処理を実行する」という意味です。この文書では棄却と訳しました。

Note from translator 3

原文では reason （理由）。棄却された理由のことです。

Note from translator 4

意味不明でした。対応する原文は：

Thus, the procedure here represents a best-faith effort.

です。意味がわかる方はコメントでご教示願います。

訳者による解説

Comment from translator 1

ようするに、あるオブジェクト同士が===で常にtrueと評価されればよい、ということを言っています。つまりオブジェクトのプロパティについては不変性を保たなくてもよい、ということです。

Comment from translator 2

ようするに、onFulfilledやonRejectedがどんな値を返そうが、thenメソッドの戻り値は必ず promise になるということです。具体例を出しましょう。

var promise2 = promise1.then(function() { return 'foo' });
promise2.then(function(val) { console.log(val) }); // -> 'foo'と表示される。

これは promise ではない値が返されたとき、その値を解決結果とするように promise でラップしなさいよ、ということを言っているのですね。なんてわかりづらいのかしら…。

この翻訳のライセンスについて

英語版はパブリックドメインなんですが、@OrgaChem もそこそこ苦労したし解説もつけたので MITライセンスでお願いします。「なにMITにしてんの @OrgaChem ｳｾﾞｪ」という方は、飲み屋にでも誘っていただければ快くパブリックドメインにいたしますので、お気軽にどうぞ！！

Kuniwak/Promises_A_plus_JP.markdown