Everyone used to sum types doesn't get why they are a big deal and everyone who hasn't used them doesn't get why they are a big deal
11
20
235
Conversation
And everyone who just found out about them won't shut up about them
4
2
115
I misread this as referring to sigma types at first, for which a similar statement is true
1
2
I do love how you can build sum types out of sigma types/dependent pairs:
let Option (A : Type) = {
tag : enum { 'some, 'none },
data : match tag {
'some => A,
'none => {},
},
};
So nifty and cool! 🤩
And then how you can use them as a module system with associated types… 🥰