News for hackers. Stuff that matters.
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.
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.