If 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

If 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.