Прямо сейчас идёт #W3C #WebAssembly CG встреча, всё время которой займёт доклад Scoping and Layering of Module Linking and Interface Types. Пропозал Module Types решает проблему инициализации и линковки wasm-модулей без использовния зависимых от хоста механизмов, и в данный момент находится на phase 1. Interface Types позволяет использовать более высокоуровневые типы, чем те, что доступны в wasm и позволить оперировать ими из разных языков и рантаймов, он находится на phase 0.