3 ms·

Ah, the magical disappearing type system - now being used for nominal typing. I'm curious to see what the JS code looks like for casts and type checks in that

by beders 2y ago

Ah, the magical disappearing type system - now being used for nominal typing. I'm curious to see what the JS code looks like for casts and type checks in that case.

williamdclt 2y ago
Nothing special about casts and type checks. It’s just a simpleish workaround for when nominal typing is more useful
klysm 2y ago
> Ah, the magical disappearing type system - now being used for nominal typing. More like: magical disappearing type system is not nominal: hacky workarounds ensue.