I've often heard that claim, but here's an article with what the substance is: http://dubhrosa.blogspot.co.uk/2012/12/lessons-learning-haskell.html?m=1 Note that D offers this style of programming, with checkable purity, immutability and ranges. I think it is a very important paradigm.