Comment by friendly_chap

I think it's Haskell.

I know sometimes it gets some hype but Haskell and its ilk is just so above the quality of any other language it's mind bending. Whenever a hard language design problem comes up in any new language, Haskell has solved it more than 2 decades ago.

The ecosystem (Hackage etc) is pretty bad though.