Comment by fdomig

From my perspective, the static type checking is more or less the same as TypeScript's `--noImplicitAny` option as the first example on flowtype [1] shows, the same can be achieved with

    tsc --noImplicitAny hello.tsc

which will result in

    hello.ts(2,14): error TS7006: Parameter 'x' implicitly has an 'any' type.

I do not see much difference.

[1]: http://flowtype.org