Can programming be liberated from the von Neumann style? (1978)
The thing in this paper that I see missing from most discussions of Functional Programming is the use of an algebra to derive programs.<p>I&#x27;ve worked a bit with an FP concatenative language Joy and this sort of algebraic manipulation is easy and fun, and seems to permit (nearly) bug-free development.<p>Here&#x27;s a very simple example of deriving a function for the quadratic formula:<p><a href="https:&#x2F;&#x2F;joypy.osdn.io&#x2F;notebooks&#x2F;Quadratic.html" rel="nofollow">https:&#x2F;&#x2F;joypy.osdn.io&#x2F;notebooks&#x2F;Quadratic.html</a><p>A more complex example deriving a combinator &quot;treestep&quot; to process tree datastructures:<p><a href="https:&#x2F;&#x2F;joypy.osdn.io&#x2F;notebooks&#x2F;Treestep.html" rel="nofollow">https:&#x2F;&#x2F;joypy.osdn.io&#x2F;notebooks&#x2F;Treestep.html</a>