この記事では2021年01月24日~27日に開催された TC39 meeting 88th で議題に上がったプロポーザルについて紹介します。
<h2>For Stage 4</h2>
For Stage 4 の提案はありませんでした。
<h2>For Stage 3</h2>
<h3><a href="https://github.com/tc39/proposal-array-from-async/">Array.fromAsync</a></h3>
Stage 3 にはなりませんでした。
<code>Array.fromAsync</code> は次のようにして非同期イテラブルから配列を生成するスタティックメソッドを追加するプロポーザルです。
<div class="remark-highlight"><pre class="language-js"><code class="language-js">async function * asyncGen (n) {
 for (let i = 0; i &#x3C; n; i++)
 yield i * 2;
}
const arr = await Array.fromAsync(asyncGen(4));
</code></pre></div>
<a href="https://github.com/tc39/proposal-array-from-async/issues/19">https://github.com/tc39/proposal-array-from-async/issues/19</a> で指摘された問題のため、Stage 3 にはなりませんでした。
<h2>For Stage 2</h2>
<h3><a href="https://github.com/tc39/proposal-class-brand-check">Class brand checks</a></h3>
Stage 2 にはなりませんでした
Class brand checks は brand check のための新しい構文を導入するプロポーザルです。
brand check は TC39 内で使われる用語で、<a href="https://github.com/tc39/how-we-work/blob/master/terminology.md#brand-check">https://github.com/tc39/how-we-work/blob/master/terminology.md#brand-check</a> で説明されています。
brand check とは、雑に言えば「ある値があるデータ型であることを検証すること」です。たとえば <code>Array.isArray</code> は brand check です(<a href="https://zenn.dev/sosukesuzuki/articles/e0516a3d4c424e"><code>instanceof</code> は厳密ではない</a>ため brand check ではありません)。
以前 brand check の方法の一つである <a href="https://github.com/tc39/proposal-private-fields-in-in">Ergonomic brand checks for private fields</a> についての記事を書いたので興味のある方はそちらもご覧ください。
<div class="hatena-link"><iframe class="hatena-link-frame" src="https://hatenablog-parts.com/embed?url=https://cybozu.github.io/frontend-expert/posts/ergonomic-brand-checks-for-private-fields" style="border: none;"></iframe></div>
Class branc check プロポーザルでは <code>class.hasInstance(x)</code> という新しい Meta Property を追加します。これはクラスの中でのみ使うことができ、引数として渡された値が今いるクラスのインスタンスかどうかをチェックします。
<div class="remark-highlight"><pre class="language-js"><code class="language-js">class Foo {
 static isFoo(o) {
 return class.hasInstance(o);
 }
}

const foo = new Foo();
console.log(Foo.isFoo(foo)); // true

const obj = {};
console.log(Foo.isFoo(obj)); // false
</code></pre></div>
<h2>For Stage 1</h2>
<h3><a href="https://github.com/rbuckton/proposal-enum">enum</a></h3>
Stage 1 にはなりませんでした。
enum は列挙型を実現するためのプロポーザルです。このプロポーザルは 4 年ほど前から存在していましたがまた動き出したようです。
enum プロポーザルでは次のような構文を導入します。
<div class="remark-highlight"><pre class="language-js"><code class="language-js">enum SyntaxKind {
 A,
 B,
 C
}
</code></pre></div>
他のプログラミング言語の enum と構文上は似ています。
しかし細部の仕様について検討すべき事項が多く、今回のミーティングでは Stage 1 に到達することはありませんでした。<a href="https://docs.google.com/presentation/d/14WtGmdWjEYXIXZVWJWpERF98D90_BytceAu7b7DKr5Q/edit#slide=id.g10effb28f4f_0_273">このスライド</a>に詳しくまとまっているので興味のある方はご覧ください。
<h3><a href="https://github.com/tc39/proposal-reversible-string-split">Reversible string split</a></h3>
Stage 1 になりました。
Reversible string split は可逆(Reversible)の文字列分割のための方法を導入するプロポーザルです。
JavaScript では <code>String.prototype.split</code> を使って文字列を分割できます。
<div class="hatena-link"><iframe class="hatena-link-frame" src="https://hatenablog-parts.com/embed?url=https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Global_Objects/String/split" style="border: none;"></iframe></div>
<div class="remark-highlight"><pre class="language-js"><code class="language-js">const splitted = "A,B,C,D,E".split(",");
console.log(splitted); // [ 'A', 'B', 'C', 'D', 'E' ]
</code></pre></div>
<code>String.prototype.split</code> は第2引数として非負の整数を渡すことで、分割する数を制限できます。
<div class="remark-highlight"><pre class="language-js"><code class="language-js">const splitted1 = "A,B,C,D,E".split(",", 1);
console.log(splitted1); // [ 'A' ]

const splitted2 = "A,B,C,D,E".split(",", 2);
console.log(splitted2); // [ 'A', 'B' ]

const splitted3 = "A,B,C,D,E".split(",", 3);
console.log(splitted3); // [ 'A', 'B', 'C' ]
</code></pre></div>
JavaScript 以外のいくつかの言語(Perl、PHP、Ruby、Go、Rust、Java など)では第2引数を受け取った <code>String.prototype.split</code> に相当する機能は、次のように文字列の分割を行います。
<div class="remark-highlight"><pre class="language-js"><code class="language-js">const splitted2 = "A,B,C,D,E".split(",", 2);
console.log(splitted2); // [ 'A', 'B,C,D,E' ]
</code></pre></div>
N-1 回分割され、残りの部分が戻り値の配列の末尾に含まれています(戻り値の配列の要素数が N)。
Reversible string split プロポーザルでは、このような振る舞いを持つ新しいメソッド <code>String.prototype.splitN</code> を導入します。
<div class="remark-highlight"><pre class="language-js"><code class="language-js">const splitted2 = "A,B,C,D,E".splitN(",", 2);
console.log(splitted2); // [ 'A', 'B,C,D,E' ]
</code></pre></div>
このような文字列分割メソッドを使うと、次のようにして分割する前の文字列を取得できます。
<div class="remark-highlight"><pre class="language-js"><code class="language-js">const value = "A,B,C,D,E";
const separator = ",";
const n = 2;
console.log((value.splitN(separator, n).join(separator)) === value); // true
</code></pre></div>
提案の名前に含まれている Reversible というのはこのような可逆性のことを指しているようです。
<h2>Updates</h2>
<h3><a href="https://github.com/tc39/proposal-symbols-as-weakmap-keys">Symbols as WeakMap keys</a></h3>
Symbols as WeakMap keys は Symbol を WeakMap のキーとして使えるようにするためのプロポーザルです。
現在では一部情報が古くなっていますが以前このプロポーザルについて解説する記事を書いたので興味がある方はそちらもご覧ください。
<div class="hatena-link"><iframe class="hatena-link-frame" src="https://hatenablog-parts.com/embed?url=https://sosukesuzuki.dev/posts/symbols-as-weakmap-keys" style="border: none;"></iframe></div>
以前から Symbols as WeakMap keys プロポーザルのモチベーションや基本的な振る舞いについては概ね合意がとれていました。しかし、Well-knwon Symbols やグローバルシンボルレジストリに登録された Symbol (Eternal Symbol と呼ばれている)についてはどのように扱うべきかという点で TC39 メンバー内でも意見が分かれていました。
今回のミーティングで Symbols as WeakMap keys チャンピョングループは、Eternal Symbol を WeakMap のキーとして使おうとするとエラーが throw されるという振る舞いを選択したことを発表しました。それにともなって、<code>WeakMap.isValidKey(x)</code>、<code>WeakSet.isValidValue(x)</code>、<code>WeakRef.isValidTarget(x)</code>、<code>FinalizationRegistry.isValidTarget(x)</code> などのいくつかのスタティックメソッドが追加される可能性があります。
しかし議事録によればまだ TC39 メンバーの中で意見が分かれているため仕様の決定には時間がかかりそうです。
<h2>参考リンク</h2>
<ul>
<li>TC39
<ul>
<li><a href="https://github.com/tc39/agendas/blob/main/2022/01.md">agendas/01.md at main · tc39/agendas</a></li>
<li><a href="https://github.com/tc39/notes/blob/main/meetings/2022-01/jan-24.md">notes/jan-24.md at main · tc39/notes</a></li>
<li><a href="https://github.com/tc39/notes/blob/main/meetings/2022-01/jan-25.md">notes/jan-25.md at main · tc39/notes</a></li>
<li><a href="https://github.com/tc39/notes/blob/main/meetings/2022-01/jan-26.md">notes/jan-26.md at main · tc39/notes</a></li>
<li><a href="https://github.com/tc39/proposal-array-from-async/">Proposal Array.fromAsync</a></li>
<li><a href="https://github.com/tc39/proposal-symbols-as-weakmap-keys">Proposal Symbols as WeakMap keys</a></li>
<li><a href="https://github.com/tc39/proposal-class-brand-check">Proposal <code>class.hasInstance()</code></a></li>
<li><a href="https://github.com/rbuckton/proposal-enum">Proposal enum</a></li>
<li><a href="https://github.com/tc39/proposal-reversible-string-split">Proposal Reversible string split</a></li>
</ul>
</li>
<li>Babel
<ul>
<li><a href="https://github.com/babel/proposals/issues/80">Jan 2022 · Issue #80 · babel/proposals</a></li>
</ul>
</li>
</ul>