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!
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!
We’re a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.