Why would you call it &quot;liberated&quot;?<p>Stuff like SmallTalk wouldn&#x27;t be possible if programming was turned into math (and SmallTalk is way too cool by allowing changing any part of its image on the fly and redefine all rules), and frankly I don&#x27;t understand why mathematicians want to take over a completely different domain, computing. The relation between computing and math is more like the relation between physics and math. It&#x27;s great to have multiple paradigms, why restrict oneself to a functional one when there is so much more?