webassemblyのgc関連

https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md

es4の実装に必要な型がほとんど揃ってる。Parametric PolymorphismもTODOだし、union typeがあればes4実装できるよ、これ。
型システムがstructural subtyped type systemになりそうだし、any typeとffiとnullabilityあるし、ようやく時代が追いついたか。
これのどこまで標準化されるだろうか。