3 ms·
Even though that's a reaction on the title rather than the (interesting) content, I would like to add that Turing-completeness isn't the gold-standard of langua
by pyrale 3y ago
Even though that's a reaction on the title rather than the (interesting) content, I would like to add that Turing-completeness isn't the gold-standard of languages. Some very interesting languages like Agda or Idris focus on the benefits of abandoning it.
- passion__desire 3y agoCan you say more about the benefits?
- tsimionescu 3y agoIn a Turing complete language, the halting problem prevents you from proving formally that any program has certain properties (say, that it doesn't leak memory). In a language where any program halts by construction, the compiler can actually check such properties.