3 ms·
A Discipline of Programming by Edsger Dijkstra. It’s an approachable introduction to a frankly under-taught approach to programming. Being able to apply mathem
by User23 4y ago
A Discipline of Programming by Edsger Dijkstra. It’s an approachable introduction to a frankly under-taught approach to programming.
Being able to apply mathematical reasoning to programming is perhaps the main reason to use a functional approach. But mathematical reasoning isn’t restricted to functional style programs! All imperative programs can be described by purely functional mappings between points in a program state space with each in scope variable naming a dimension.
- rramadass 4y ago>All imperative programs can be described by purely functional mappings between points in a program state space with each in scope variable naming a dimension. ... Using Predicate Calculus. I said the same thing here: https://news.ycombinator.com/item?id=34206888 https://news.ycombinator.com/item?id=34206888 We Dijkstra fans have to stick together :-)