3 ms·
With every additional compiler check, you reduce the set of possible programs. It would be interesting if the checks could be easily programatically defined and
by mempko 11y ago
With every additional compiler check, you reduce the set of possible programs. It would be interesting if the checks could be easily programatically defined and inserted by those who care. I think Perl6 is probably the best modern compiler that allows this.
I agree, it should not be the compilers job to decide the set of possible programs. The hardware guys figured this out long ago. Afterall, CPU registers are untyped.
- akkartik 11y agoCan you elaborate on what checks Perl6 permits programmers to ask for?
- raiph 11y agoAiui you can have any checks you want. Aiui, simplifying, every operation is a function call so you just write a function body that corresponds to what you want the operation to be with the checks you want.