4 ms·
I wouldn't use any turing-complete language as configuration :-/ Determinism is essential for a configuration language. I don't want to load configurations th
by flying_sheep 6y ago
I wouldn't use any turing-complete language as configuration :-/
Determinism is essential for a configuration language. I don't want to load configurations that may or may not crash your computer.
- ghayes 6y agoWe can definitely have deterministic Turing-complete programs. Do you mean you want totality? I agree that's nice, but in practice, being free from side-effects is likely more important than ensuring the program halts.
- anderskaseorg 6y agoTuring-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.
- bryanrasmussen 6y agothis is something I often hear about both configuration and validation languages - but why? You evidently are ok with loading programs that may or many not crash your computer? So crashing problems happen at the configuration step first.
- krapp 6y agoTuring complete applications need that degree of complexity, but configuration is meant to describe a state - it's just data.
- james_s_tayler 6y agoUnless it's CloudFormation... Then it's just data stuffed with functions that do a bunch of string manipulation.