[RobertKerans]

Flow is a bolt-on on type system, not quite OCaml (which it was built in) but it's pretty good.