Slight digression but - PLT-Scheme (or Racket or whatever it&#x27;s called now) : CL :: Haskell : OCaml<p>Exploration of new ideas in Scheme and Haskell &#x27;feel&#x27; more versatile. The representation of concepts are often more succinct and almost always have more of that that je ne sais quoi one gets from an elegant[1] math proof. In day-today coding with a team, I&#x27;ve used more of the CL&#x2F;OCaml than the latter though for reasons I&#x27;m not entirely sure about. OCaml&#x27;s modules are strictly more powerful than Hask98&#x27;s type classes.<p>[1] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Mathematical_beauty" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Mathematical_beauty</a> Didn&#x27;t know this existed until just now, but glad Russell and Erdos are both mentioned in the first paragraph, and even more amused, considering their histories with formalism&#x2F;ordered logic haha. Where&#x27;s the Frege tragedy and the Wiggenstein Viennese fanboys?!