[hardwaresofton]

Oh Haskell is amazing -- maybe it wasn't clear but I think Haskell is the best programming language I've ever used.

Haskell is what people think Java was supposed to be like/going to be -- the type system is expressive, the runtime system is amazing, it's got a bunch of mature libraries in the ecosystem, the performance is within spitting distance of Java if not better, consumes less memory, etc.

Even amongst research/ML languages Haskell isn't far behind. It's been a while since I've looked but Idris is basically Haskell + dependent types.

Haskell is the Mercedes of PL (especially if you're referring to the subset of practially-used PL).

I want to be clear that once I tried Haskell it became impossible for me to consider not having a similar type system again. It even soured me off of Go -- a simple nonfeature like having nullable types just ruins entire languages for me now.

[winterplace]

What do you mean a nonfeature?