he/him 
Making those error messages 
pic.twitter.com/9y5IbdOW9K
Show this thread
-
Is this different to flow?
It's an entirely new type checker. It's graph-directed under the hood though, like Flow.
-
-
Very cool. While detailed type errors are nice, extreamly loooong errors explaining every parametric type that doesn't match is rather unhelpful (does that even make sense? In some way I manage to get very long errors with Flow)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
But is it web scale?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
If you nail HOC and manage to get stable windows as well you will be the king.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.