| ▲ | iamrecursion 10 hours 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 2 hours ago | parent [-] | |
That'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. | ||