Haskell. For programming with immutable values and pure functions, beautiful succinct syntax and strong types. Strong types ensure correctness, but in Haskell,

Haskell. For programming with immutable values and pure functions, beautiful succinct syntax and strong types. Strong types ensure correctness, but in Haskell, they also help me reason about where and when my effects (such as IO) are happening, Haskell is now the current inspiration for many object-oriented languages like C# and Java: http://wadler.blogspot.co.uk/2012/09/brian-goetz-on-future-of-java.html?m=1 http://wadler.blogspot.co.uk/2012/09/brian-goetz-on-future-o...