Re:Type Checking in JavaScript
by rimo on Wednesday November 06, 2013 @08:42AM
(#6682589)
Static types and unit tests don't solve or catch all problems. I'm thinking about event-driven messaging systems, which is pretty common in js; Static typing will not be of any help in that situation.
[ Parent
| on HN ]
Sufficiently advanced type systems can enforce an enormous range of constraints. You can for example create a type for trees enforcing that the tree must be balanced; code that would unbalance a tree will just not compile.