Yeah, people talk about &quot;functional languages&quot; as if they&#x27;re a unified thing. IMO the differences between the strongly typed ML&#x2F;Haskell tradition and the Lisp tradition are as big as the differences between either and &quot;OO languages&quot; or &quot;imperative languages&quot;, but that&#x27;s not the way it&#x27;s usually presented.