re: Tag Your Unions Before You Wreck Your Unions VIEW POST


Nice article :)

Tagged unions are the number one thing I miss in most of the 'big' programming languages. Being able to represent the state of something in a way the compiler can verify for you is so nice!

Same here.

I was never a friend of statically typed languages. This feature is the first time I see real value!

Yeah, I think the things that finally sold me on it were Scott Wlaschin's 'Designing With Types' blog posts and Richard Feldman's 'Making Impossible States Impossible' talk. Both well worth a read/watch if you've not already seen them :)

Yes, same here. One of the best resources about that topic, I think!

code of conduct - report abuse