4 ms·
> Very little of people's code needs Turing completeness The Wikipedia page on Total Functional Programming [1] has a nice (even if contrived) example of this
by benrbray 6y ago
> Very little of people's code needs Turing completeness
The Wikipedia page on Total Functional Programming [1] has a nice (even if contrived) example of this with Quicksort. I feel like my undergrad complexity class did me a disservice by emphasizing Turing Completeness so much without discussing any other aspects of abstract computation, like lambda calculus, type systems, etc..
[1]: https://en.wikipedia.org/wiki/Total_functional_programming https://en.wikipedia.org/wiki/Total_functional_programming