@afreytes I love Haskell in theory, but getting anything done in it (or getting people to use it) is a nightmare, making it similar to the Agda answer :p

In spite of it being run by MS, I do really like the dotnet environment, and think it would be a reasonable answer if MS was to really recommit to open source ideals (and restore the budget that they cut from it a couple of years ago).