Robert Harper has written a few posts on his personal blog why they use SML to teach functional programming, why they teach it to freshmen, why they don't use H

Robert Harper has written a few posts on his personal blog why they use SML to teach functional programming, why they teach it to freshmen, why they don't use Haskell ect https://existentialtype.wordpress.com/2011/03/21/the-dog-that-didnt-bark/ https://existentialtype.wordpress.com/2011/03/21/the-dog-tha... "Finally, this article explains why Haskell is not suitable for my purposes: the principle of induction is never valid for a Haskell program! The problem is that Haskell is a lazy language, rather than a language with laziness. It forces on you the existence of “undefined” values of every type, invalidating the bedrock principle of proof by induction. Put in other terms suggested to me by John Launchbury, Haskell has a paucity of types, lacking even the bog standard type of natural numbers."