All will fail to provide the necessary tools at one point, and many will fail almost immediately, but types are how you encode what is possible, and typechecking is thus what excludes the impossible.
> Akin to units checking.
And dimensional analysis is how you know you fucked up and your formula is nonsensical before you even apply it.
It's the entire purpose of a static type system.
All will fail to provide the necessary tools at one point, and many will fail almost immediately, but types are how you encode what is possible, and typechecking is thus what excludes the impossible.
> Akin to units checking.
And dimensional analysis is how you know you fucked up and your formula is nonsensical before you even apply it.