Because it is a very expressive language, JavaScript does not lend itself easily to type-checking systems, the Facebook engineers wrote. Other companies have tackled the challenge of adding static ...