Administered by:
Why #Haskell ? Thread.
It's such a different way of thinking fundamentally due to the alfonzo/turing split and this has lead to unique features that slowly bleed into the general language ecosystem. One of my favorite features of Haskell is exactness and correctness. The type system lends itself to not just catching the kind of errors that would be normally runtime errors in some other languages, but it it also lends itself to things like formal verification and proof assistants like...
@someodd haskell's base type system is pretty expressive even without liquid haskell. sandy maguire's book "thinking in types" really opened my eyes to what kind of computation was achievable at the normal type level in haskell.
@prozacchiwawa @someodd And Haskells type system is very simple comlared to that of TypeScript for example.