Esteban K�ber – @ekuber·Apr 29Everyone 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 deal1120235
Esteban K�ber – @ekuber·Apr 29And everyone who just found out about them won't shut up about them42115
eleanor @zornsllama·Apr 29I misread this as referring to sigma types at first, for which a similar statement is true12
Brendan Zabarauskas@brendanzabReplying to @zornsllama and @ekuberI 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! 🤩1:10 AM · Apr 30, 2022·Twitter Web App2 Likes
Brendan Zabarauskas@brendanzab·Apr 30Replying to @brendanzab @zornsllama and @ekuberAnd then how you can use them as a module system with associated types… 🥰