Pyre - Type checking in OCaml for Python


#1

In case you missed it: Facebook does a Python type checker in OCaml


#2

It seems to borrow architectural features from the hack type checker which was presented some time ago.