In case you missed it: Facebook does a Python type checker in OCaml
9 Likes
It seems to borrow architectural features from the hack type checker which was presented some time ago.
1 Like