Can Programming Be Liberated from the von Neumann Style? (1978) [pdf]
reads like an ode to Haskell&#x2F;ML.<p>while haskell&#x2F;ML is beautiful, and i&#x27;d much prefer it if everyone did adopt it - it seems human nature is preferring languages such as C, Python, C# and Java, exactly due to their expressiveness and distance from the pure math side of things.<p>maybe FP will be the future, but right now and considering everything is a stack machine that has ASM&#x2F;C under the hood, things have to change on the hardware level to enable deep change in both our hardware and our curricula, which often produce &quot;math is hard&quot;. it wouldn&#x27;t hurt if the larger players put out mobile FP sdks. (i know we can program android in SCALA and that many folk wrote Haskell hooks for iOS, but it&#x27;s not all very supported by the main players)<p>if anything, dabbing into Haskell made me understand math better. our youngsters would benefit greatly from such a change and it&#x27;d boost things beyond what we can imagine today if more than 5% of the population could program.<p>a low level FP styled non-gc`ed programming language would be interesting to see rise too. though haskell is making its way through the bushes, it&#x27;s nooks and crannies leave a bit to be desired, esp. when complex software becomes extremely difficult to read by others, despite it&#x27;s beauty and conciseness.