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.
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.
AnimalMuppet|3 months ago
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.