nominal types in webassembly

19 points by flockofbirbs 8 hours ago on lobsters | 3 comments

(SPOILER ALERT)

I'm glad that after shaking my head in confusion, I checked out the final paragraph:

Friends, as I am sure is abundantly clear, this is a troll post :)

: cpurdy | 21 minutes ago
That saved me some time!

This reminds me of Standard ML, which has closed variant types, i.e. normal algebraic sum types. But you can declare exceptions, which share a single global open variant type.