I rather think lambdas, generics and type inference are straight out of ML, especially as hack is written in OCaml.