WebAssembly
https://scrapbox.io/files/668132ea16a1bf001d0f5025.svg
アセンブリでないバイトコード。今のところ 32bit のみ。モダンブラウザで扱うことが出来、Node.js v8 以降で使うことが出来るため AWS Lambda や BigQuery でも扱える。
拡張の提案
TC39 による ECMAScript の仕様策定と似ており Stage の概念を持つ（Phase と呼ばれている）。 各環境で使える機能については Feature Extensions で確認できる。
バイナリ仕様
code: (webidl)
dictionary WebAssemblyInstantiatedSource {
required Module module;
required Instance instance;
};
namespace WebAssembly {
boolean validate(BufferSource bytes);
Promise<Module> compile(BufferSource bytes);
Promise<WebAssemblyInstantiatedSource> instantiate(
BufferSource bytes, optional object importObject);
Promise<Instance> instantiate(
Module moduleObject, optional object importObject);
};
code: (webidl)
partial namespace WebAssembly {
Promise<Module> compileStreaming(Promise<Response> source);
Promise<WebAssemblyInstantiatedSource> instantiateStreaming(
Promise<Response> source, optional object importObject);
};
Promise<Response> を受け取る。過去の提案だと Response でも良かったように見えるけど、今の仕様だと Promise でラップしないと受け取れなそう？ もしかしたら実装で最適化できるとかそういった理由があるのかもしれない。
バイナリをコンパイルして得られるインターフェース
Module
code: (webidl)
enum ImportExportKind {
"function",
"table",
"memory",
"global"
};
dictionary ModuleExportDescriptor {
required USVString name;
required ImportExportKind kind;
// Note: Other fields such as signature may be added in the future.
};
dictionary ModuleImportDescriptor {
required USVString module;
required USVString name;
required ImportExportKind kind;
};
interface Module {
static sequence<ModuleExportDescriptor> exports(Module moduleObject);
static sequence<ModuleImportDescriptor> imports(Module moduleObject);
static sequence<ArrayBuffer> customSections(Module moduleObject, DOMString sectionName);
};
Instance
code: (webidl)
interface Instance {
readonly attribute object exports;
};
インポート、エクスポートするインターフェース
Memory
code: (webidl)
dictionary MemoryDescriptor {
};
interface Memory {
readonly attribute ArrayBuffer buffer;
};
Table
code: (webidl)
enum TableKind {
"anyfunc",
// Note: More values may be added in future iterations,
// e.g., typed function references, typed GC references
};
dictionary TableDescriptor {
required TableKind element;
};
interface Table {
void set(EnforceRange unsigned long index, Function? value); readonly attribute unsigned long length;
};
今のところは函数をマッピングしているだけのあまり役に立たないものだが、将来的に拡張することが決まっている。これを使って WebAssembly から DOM API にアクセス出来るようにするらしい。 Global
code: (webidl)
dictionary GlobalDescriptor {
required USVString value;
boolean mutable = false;
};
interface Global {
any valueOf();
attribute any value;
};