I'm slowly grokking Haskell and I like the genius (or madness?) of having the type system do a lot to verify that the program is correct. I just started readin

I'm slowly grokking Haskell and I like the genius (or madness?) of having the type system do a lot to verify that the program is correct. I just started reading about liquid types and I'm loving the idea : https://news.ycombinator.com/item?id=37349276 https://news.ycombinator.com/item?id=37349276