nominal types in webassembly
Summary
This article explains how WebAssembly evolves from structural to nominal typing through recursive type groups and the nominal typing proposal. It covers how recgroups provide a module-local nominal-like typing, the limitations across module boundaries, and how tag types and type imports enable cross-module nominal behavior, with practical code examples and references to the spec.