4 ms·
Also, many purely mathematical models of computing like turing machines are definitely not functional.
by alexlarsson 11y ago
Also, many purely mathematical models of computing like turing machines are definitely not functional.
- Yomammas_Lemma 11y agoWell, nobody is proposing that Turing Machines be the foundation of mathematics, whereas the sort of type theory used in FP is being taken pretty seriously as a foundation.