I think the strongest argument for Haskell is what you can make it not do, not what you can make it do. Having strong and concise type guarantees is great. Has

I think the strongest argument for Haskell is what you can make it not do, not what you can make it do. Having strong and concise type guarantees is great. Haskell's a great example of that. So is Ocaml.