Wavy Dot
Syntactic Support for Promise Pipelining
- Stage: 1
- Repository: tc39-transfer/proposal-wavy-dot
- Date: 2019/10/09
- #tc39_study: TC39 Proposals LT 大会
Wavy Dot とは ?
Pleasant Notation for Promise Pipelining
Promise Pipelining に対する糖衣構文の提供
Promise Pipelining 🤔 ?
やや主題から外れるためざっくりと...
リモートオブジェクトに対する操作の呼び出しをパイプライン化することが目的。
Promise のみ使う場合と異なり、非同期で受け取る値が返ってくる前に、
計算済み (Handled) の値を得ることができたりします。
(非同期の完了値を実際に受け取ろうとしたタイミングで初めて遅延が発生する)
proposal-eventual-send
別途仕様の提案が以下に上がっているものとなります。
HandledPromise の概要
実際に Promise Pipelining を実現するためにHandledPromise コンストラクタが追加されます。
まず注目するのは HandledPromise コンストラクタが持つ Static Method。
仕様に上がっている Static Method とそれらがどのような挙動を取るかの一覧です。
HandledPromise.get(p, prop);
// -> p.then(t => t[prop])
HandledPromise.has(p, prop);
// -> p.then(t => prop in t)
HandledPromise.set(p, prop, value);
// -> p.then(t => (t[prop] = value))
HandledPromise.delete(p, prop);
// -> p.then(t => delete t[prop])
HandledPromise.applyFunction(p, args);
// -> p.then(t => t(...args))
HandledPromise.applyMethod(p, prop, args);
// -> p.then(t => t[prop](...args))
基本的な操作に加えて、非同期処理の結果を必要としない場合に
コストを低減させるための SendOnly という
バリエーションも提案に含まれています。
HandledPromise.getSendOnly(p, prop);
HandledPromise.hasSendOnly(p, prop);
HandledPromise.setSendOnly(p, prop, value);
HandledPromise.deleteSendOnly(p, prop);
HandledPromise.applyFunctionSendOnly(p, args);
HandledPromise.applyMethodSendOnly(p, prop, args);
HandledPromise コンストラクタを初期化した場合、Promise.prototype と同様の結果を受け取ることになります。
HandledPromise.prototype に対しては
Static Method と同じようにget、has などの トラップ を実装することが可能です。
本題
冒頭で紹介した通り、
Wavy Dot は Promise Pipelining を実現する proposal-eventual-send (HandledPromise) を
フォローアップするための構文仕様です。
構文
Wavy Dot は Optional Chaining や . と
同じ優先順位を持つ中置演算子で ~. と表現します。
| 構文 | 内部メソッド |
|---|---|
p ~. name | p.[[GetSend]]('name') |
p ~. name = value | p.[[SetSend]]('name', value) |
delete p ~. name | p.[[DeleteSend]]('name') |
p ~. (...args) | p.[[ApplySend]](args) |
p ~. name(...args) | p.[[ApplyMethodSend]]('name', args) |
p ~. [prop] | p.[[GetSend]](prop) |
p ~. [prop] = value | p.[[SetSend]](prop, value) |
delete p ~. [prop] | p.[[DeleteSend]](prop) |
p ~. [prop](...args) | p.[[ApplyMethodSend]](prop, args) |
式の値が明らかに無視される構文コンテキストにおいては
内部で各メソッドに対応した SendOnly を使用します。
Prototype
用意されている Babel playground が分かりやすかったため幾つか抜粋。
x~.p
👇
HandledPromise.get(x, "p");
x~.p = v
👇
HandledPromise.set(x, "p", v);
delete x~.p
👇
HandledPromise.delete(x, "p");
x~.p(y, z, q)
👇
HandledPromise.applyMethod(x, "p", [y, z, q]);
x~.()
👇
HandledPromise.apply(x, []);
所感
- 仕様内に TypeScript との競合を避けるための一文がある
- Wavy Dot 自体の仕様についての紹介ではなくて、ほとんどが
HandledPromiseの話になってしまいました HandledPromiseのプリミティブな API を使って、便利で高速なライブラリ等が出てくるような気がして胸アツでした