There are folks using Hack (e.g. http://hhvm.com/blog/6005/hack-community-roundup-3) and there are some others in the pipe that will be detailed later on.

There is no real compile time step with respect to type checking. Flow (like Hack) analyzes and type checks in the background, realtime.

For workflow, check out: http://flowtype.org/docs/getting-started.html#_

These should hopefully help you out.

http://flowtype.org/docs/existing.html#_ http://flowtype.org/docs/running.html#_

There is indeed generics in Flow

http://flowtype.org/docs/classes.html#polymorphic-classes

http://flowtype.org/docs/functions.html#polymorphic-function...

Nice. Thanks.

In my mind, there will be multiple renderings of the spec (like what you had done here). I have plans to split the spec into multiple, smaller .md files based on topic. The gating factor was managing the internal reference links, but I can work around that with some tooling. I did not want this to hold up getting the spec out there though.