Dependent Haskell
I really do think Haskell is a wonderful tool, but:<p>&quot;Haskell, at its core, is simple: it is just a polymorphic lambda calculus with lazy evaluation plus algebraic data types and type classes.&quot;<p>In a different context, I would have interpreted that as a sarcastic parody of Haskell evangelists.<p>Really, I feel like everyone who is going to read that article will either already know that, or will have no idea what that sentence means.