|
|
|
|
|
|
by User23
1263 days 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. |
|
|
... Using Predicate Calculus.
I said the same thing here: https://news.ycombinator.com/item?id=34206888
We Dijkstra fans have to stick together :-)