3 ms·
I like the idea of writing a validation pass, but I don’t want to pay a cost at runtime. This could be much to ask, but are there any programming languages whic
by JanisErdmanis 3y ago
I like the idea of writing a validation pass, but I don’t want to pay a cost at runtime. This could be much to ask, but are there any programming languages which allow to write a validation pass which are enforced at compile time?
- JonChesterfield 3y agoMove the invariants on the IR into the type system representing the IR. Then no validation pass involved. Requires an adequate type system.