3 ms·
Turing-completeness, determinism, and crash safety are three independent properties; a given language may have any 0, 1, 2, or 3 of them.
by anderskaseorg 6y ago
Turing-completeness, determinism, and crash safety are three independent properties; a given language may have any 0, 1, 2, or 3 of them.
- Gehinnn 6y agousually, a freeze is considered a crash too. In this sense, you cannot be turing complete and crash safe.
- Dylan16807 6y agoYou can be turing complete without meaningful freezes. You can be non turing complete with meaningful freezes.