2020-07 の TC39 meeting

まとめ

決まったこと

Web compatibility issues / Needs Consensus PRs

Unicode 13 のための仕様アップデート。承認された。

code: (js)

012 // 10

089 // 89

01.2 // Syntax Error

08.9 // 888.888

01e2 // Syntax Error

08e9 // 8000000000

さてこの Legacy Octal Literal で小数点や exponent パーツを使った場合に Numeric Separator を使うことを許すかどうかという話。特に拒絶することなくそのまま許すことになった。

このことを ECMAScript 側の仕様にも記述する提案。承認された。

code: (js)

Object.defineProperty(this, "x", {

configure: true,

value: 1,

});

(() => {

"use strict";

x = (delete global.x, 2);

})();

Stage 4 (ES2021)

Stage 4 になった 🎉

Stage 4 になった 🎉

Stage 4 になった 🎉

Stage 4 になった 🎉

Stage 4 になった 🎉

Stage 3

文字列を word や grapheme 単位などで分割できる提案。

Stage 3 になった。

Stage 2

Decorators が満たすべき成約について話された。

インスタンスに特定の Private Fields が定義されているかどうかを調べるシンタックスを入れる提案。先送りになった。

次の9月の会議までに最後の仕様レビューをしてもらいい、11月に Stage 3 を目標にしていることが話された。

Import Attributes として進んでいた提案が Import Conditions になったらしい。

code: (js)

import o from "./o.json" if { type: "json" };

もろもろを再考することになり、Stage 3 にはならなかった。

code: (js)

// given counts is a Map of object => id

counts.emplace(key, {

insert(key, map) {

return 0;

},

update(existing, key, map) {

return existing + 1;

}

});

型としてはこんな感じかな。

code: (ts)

declare class Map<K, V> {

emplace(key: K, callbacks: {

insert(key: K, map: Map<K, V>): V,

update(existing: V, key: K, map: Map<K, V>): V,

}): void

}

Firefox にだいたいの実装が入ったらしい。Stage 3 のレビューが開始された。

配列などで負数インデックスでも取得できるメソッドを追加する提案。

Stage 2 になった。

code: (js)

Number.range(0, 5, 10);

Number.range(0, 5, { step: 10 });

Number.renge(0, 5, { inclusive: true }); // 0, 1, 2, 3, 4, 5

時間切れで Stage 2 にはならなかった。

新たに Record/Tuple を導入する提案。永続データ型。

前回の issues が解決し、Stage 2 になった。

Stage 2 になった。

Stage 1

クラス構文に Static Blocks を追加する提案。

code: (js)

class C {

static {

// statements...

}

}

仕様のテキストができたが Stage 2 にはならなかった。

Stage 2 にはならなかった。

code: (js)

await.all expr // Promise.all(expr)

await.race expr // Promise.race(expr)

await.allSettled expr // Promise.allSettled(expr)

await.any expr // Promise.any(expr)

Stage 1 になった。

また引数に key を入れることで配列の中身でも扱えるようになるらしい。

code: (js)

arr.unique("key");

arr.unique(Symbol.for("key"));

他にも函数を入れるとその結果によってユニークかどうかを判定してくれる。

code: (js)

arr.unique((val) => val.toJSON());

ちょっと盛り沢山すぎる提案な気がする……。Stage 1 になった。

Stage 0

code: (js)

import {"@foo" as foo} from "wasm";

export {foo as "@foo"};

export {"@bar" as bar} from "wasm";

承認されたが提案プロセスとは別の形で取り込むことになった。

Zone.js のように非同期なタスクの中でタスクごとに別れたコンテキストを作ることができる API の提案。

code: (js)

const asyncLocal = new AsyncLocal(

(newValue, prevValue) =>

);

async function run() {

// (1)

asyncLocal.setValue('foo');

await sleep(1000);

await next(asyncLocal);

// (3)

asyncLocal.setValue('quz');

}

async function next() {

// (2)

asyncLocal.setValue('bar');

await sleep(1000);

}

Promise.resolve().then(run);

Promise.resolve().then(run);

code: output

// (1)

valueChanged: newValue('foo'), prevValue(undefined);

valueChanged: newValue('foo'), prevValue(undefined);

// (2)

valueChanged: newValue('bar'), prevValue('foo');

valueChanged: newValue('bar'), prevValue('foo');

// (3)

valueChanged: newValue('quz'), prevValue('bar');

valueChanged: newValue('quz'), prevValue('bar');

Stage 1 にはならなかった。

code: (js)

// The backing buffer gets detached on every grow in wasm!

let U8 = new Uint8Array(WebAssembly.Memory.buffer);

function derefPointerIntoWasmMemory(idx) {

// Do we need to re-create U8 because memory grew,

// causing the old buffer to detach?

if (U8.length === 0) {

U8 = new Uint8Array(WebAssembly.Memory.buffer);

}

}

Stage 1 になった。

その他

総括

今回は多くの提案が Stage 4 になった。そして今回から議事録に要約がのせられるようになってありがたい。