3 ms·
I've tended to find a lot of value in systems that have both, especially when there is automatic translation from the simple config to the Turing complete langu
by iamrecursion 2mo ago
I've tended to find a lot of value in systems that have both, especially when there is automatic translation from the simple config to the Turing complete language. Lean 4's lakefiles are a good example of this, with a TOML format that is a subset of the Lean DSL format.
- rdtsc 2mo agoThat's a neat pattern. It's interesting to think how many times users can auto-generate the DSL and how many times they end up having to write the DSL directly.