2 ms·
Theoretical cases that are unusable in practice aren't interesting in the above context. We are talking about practical languages. It's not about Turing complet
by shmerl 7y ago
Theoretical cases that are unusable in practice aren't interesting in the above context. We are talking about practical languages. It's not about Turing completeness.
- chewxy 7y agos := a | (s s) common lisp syntax. Even simpler, but that shifts much of abstraction capabilities to the operational semantics.