Comment by eyelidlessness
Comment by eyelidlessness 10 hours ago
You can enforce them (statically) by other means if you’re determined enough, eg by using lint rules which enforce type-like semantics which the type system itself doesn’t express.
Comment by eyelidlessness 10 hours ago
You can enforce them (statically) by other means if you’re determined enough, eg by using lint rules which enforce type-like semantics which the type system itself doesn’t express.
This does rely on the language having a sophisticated-enough type system to be able to extract enough type information for the rules to work in the first place.