3 ms·
I'm not sure "total" vs "turing-complete" should be a huge difference - just terminate with an error after X seconds. For example, can "total programming langu
by ks2048 2y ago
I'm not sure "total" vs "turing-complete" should be a huge difference - just terminate with an error after X seconds.
For example, can "total programming languages" include: "for i in range(10000000000000): do_something()"?
If so, your config file can still hang - even though it provably terminates.
- lmm 2y agoIt's a lot easier to accidentally make a file that takes forever than to accidentally make a file that takes a long but finite amount of time.