Re:Facebook Launches Flow, Static Type Checker for JavaScript
by muglug on Tuesday November 18, 2014 @05:24PM
(#8626784)
In the large multi-contributor dynamically-typed codebases I've dealt with, type errors are very rare.
[ Parent
| on HN ]
Re:Facebook Launches Flow, Static Type Checker for JavaScript
by Ixiaus on Tuesday November 18, 2014 @08:54PM
(#8627757)
I don't think you understand what "type errors" means if you are making that assertion; or your multi-contributor codebase has such excellent test coverage that your tests are doing for you what a modern type system can do for you.
In a dynamically-typed codebase, it's near impossible to have rare type-error occurrence because you're off-loading the type system into into the programmers head (which is subject to human fallibility - even when countered with excellent unit testing!)
Re:Facebook Launches Flow, Static Type Checker for JavaScript
by muglug on Tuesday November 18, 2014 @10:11PM
(#8628008)
To be specific, I was talking only of a specific sort of errors that the JIT compiler allows e.g. applying numerical operators to strings, or combinations of string and int.
Issues with null are much more common.
Re:Facebook Launches Flow, Static Type Checker for JavaScript
by barrkel on Wednesday November 19, 2014 @05:45AM
(#8629271)
In JS, I see things like methods called with incorrect number of parameters, or wrong parameter types, on a reasonably regular basis, especially when things get refactored every now and then.
I frequently see methods incorrectly overidden. For example, the ancestor method effectively has a variadic argument list, but the descendant doesn't have as sophisticated argument handling and doesn't do the appropriate superFunc.apply(this, Array.prototype.slice.call(arguments, 0)) etc.