A few common examples for which I rely upon static typing:
- I have a proof that operation X is complete, because I have a protocol to follow;
- this string is a Matrix room id (and not a Matrix user id or a Matrix server id, also strings);
- this time is in milliseconds.
A few common examples for which I rely upon static typing: - I have a proof that operation X is complete, because I have a protocol to follow; - this string is a Matrix room id (and not a Matrix user id or a Matrix server id, also strings); - this time is in milliseconds.
Sounds like very different use cases :)