4 ms·
What's a “total language”?
by tempodox 4y ago
What's a “total language”?
- Tainnor 4y agoTo slightly oversimplify: A language in which every function provably terminates.
- TuringTest 4y agoIt's a programming language where every written program terminates. As a corollary, such languages can't be Turing complete, since universal Turing machines can represent programs which don't terminate. [1] https://en.wikipedia.org/wiki/Total_functional_programming https://en.wikipedia.org/wiki/Total_functional_programming