3 ms·
The most correct code that I write is in pure functional languages (or C++ in the functional style that has been practical since '17), and I could argue that th
by pklausler 5y ago
The most correct code that I write is in pure functional languages (or C++ in the functional style that has been practical since '17), and I could argue that they comprise only declarations and what would be considered to be "return" statements. I like this paradigm because the structure of pattern matching and recursion lends itself well to little proofs of correctness.
- ProfHewitt 5y agoGood point. The proofs of correctness for expression programming languages are a special case of the proofs for Actor programming languages. See the following: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021