4 ms·
Sum-types and an exhaustive pattern-matching construct. It's borderline criminal to design a language with a static type system in this century and leave that o
by frou_dh 7y ago
Sum-types and an exhaustive pattern-matching construct. It's borderline criminal to design a language with a static type system in this century and leave that out.