CoffeeScript 死党表示不喜欢哪个语法, Contracts.coffee 虽然好但没人维护… 不过 Facebook 发布的东西的话…

网站 http://flowtype.org/

Flow is a static type checker, designed to find type errors in JavaScript programs

就是是个类型检查工具, 可以在原有的没写类型的 JavaScript 上进行检测, 就是在对应目录跑下命令:

flow check

也可以在代码里写上类型, 然后编译回到 JavaScript 去

/* @flow */

// Changing the return type to number fixes the error
function foo(x: string, y: number): number {
  return x.length * y;
}

foo('Hello', 42);

甚至还能写一下类型声明…

/* @flow */
type T = number;
var x: T = 0;

感觉像是 TypeScript 的 Facebook 版本, 或者 Hack 语言的 JavaScript 版本… 不知道有没有人会去用的?