yep that would be really interesting! If e.g. the target generated code was some...

		matijash on July 14, 2022 \| parent \| context \| favorite \| on: ML code generation vs. coding by hand: what we thi... yep that would be really interesting! If e.g. the target generated code was some language with high type safety or a DSL whose compilation already guarantees certain properties.