10 ms·
I got this sense as well, particularly from the section about assertions. Most of the use cases they describe (e.g checking function arguments and return values
by bfLives 10mo ago
I got this sense as well, particularly from the section about assertions. Most of the use cases they describe (e.g checking function arguments and return values) are much better handled by an expressive type system than ad-hoc checks.
- AnimalMuppet 10mo agoIf you can, yes. But that last 10% of checking may be really hard to encode in types. It may be especially hard to do so in the language that you want to use for other reasons.