&gt; Do note that Haskell is moving forward all the time, and at a rate faster than mainstream is adopting these ideas.<p>In some sense, yes.  On the other hand, there are diminishing returns.  As an example, the increase in software quality from a Java-like language adopting any of algebraic data types, parametric polymorphism or first class higher order functions is probably much bigger than Haskell moving to full on dependent types.