I like Haskell because of the reasons here already said: it's more like math, so it's easy to reason about, and it's got a lot of cool features that make progra

I like Haskell because of the reasons here already said: it's more like math, so it's easy to reason about, and it's got a lot of cool features that make programming in higher levels of abstraction easy. The downsides are that the tooling is hard to learn at first and it's hard to understand and reason about the compiler because it's so advanced, so you really have to know Haskell well in order to create the most efficient programs. I think strict types and functional style is the future of software, since it's designed for abstractions and today's software is all about abstractions. Security wise, a strict type system with type driven development can be great, limiting the user while giving greater freedoms overall.