The thing in this paper that I see missing from most discussions of Functional Programming is the use of an algebra to derive programs.
I'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.
Here's a very simple example of deriving a function for the quadratic formula:
I'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.
Here's a very simple example of deriving a function for the quadratic formula:
https://joypy.osdn.io/notebooks/Quadratic.html
A more complex example deriving a combinator "treestep" to process tree datastructures:
https://joypy.osdn.io/notebooks/Treestep.html