3 ms·
You can insert whatever level of validation you need at the untyped interface between the two... just as you would with dynamically typed languages.
by Quekid5 8y ago
You can insert whatever level of validation you need at the untyped interface between the two... just as you would with dynamically typed languages.
- Kiro 8y agoSo using static typing doesn't help you in other words since you need to do the same runtime validation as with dynamic languages?
- qaq 8y agoYou only have to do validation at the boundary vs having to do it everywhere.
- always_good 8y agoWell, it's like saying static typing doesn't help you because both statically- and dynamically-typed systems need to do arithmetic. It doesn't really make sense, and nobody is saying static-typing is helpful because it frees you from the shackles of a + b. The difference is that in a statically-typed system, you're validating data at your boundaries such that they comply with your nominal types that are then compiler-guaranteed to be internally consistent.