4 ms·
> Well, I would already consider this to be quite a big restriction though. Which part, the type-checking? Don't we want it to be type-checked?
by tines 5y ago
> Well, I would already consider this to be quite a big restriction though.
Which part, the type-checking? Don't we want it to be type-checked?
- valenterry 5y agoI think it's a trade-off. By enforcing type-checking you now prevent people from altering the language in a way that could be both helpful and still safe even when not type-checking. (just because code doesn't type-check doesn't mean it will or could fail)