Comment by lelanthran
2 hours ago
The mold analogy falls apart under even cursory examination: why create a mold in ambiguous uncheckable human languages? Just create a reference implementation.
Otherwise, create a "mold" in AST in Lisp.
2 hours ago
The mold analogy falls apart under even cursory examination: why create a mold in ambiguous uncheckable human languages? Just create a reference implementation.
Otherwise, create a "mold" in AST in Lisp.
Nobody said the mold has to be done in a human language. It _can_ be a part of it for the fuzzy bits.
But it's just writing the hard limits on the outside, in code. Define that when A goes in B must come out. Enforce hard linting rules and other code-level checks on the output etc.