3 ms·
Nothing special about casts and type checks. It’s just a simpleish workaround for when nominal typing is more useful
by williamdclt 3y ago
Nothing special about casts and type checks. It’s just a simpleish workaround for when nominal typing is more useful