I would love to see something more like SML, with OCaml compile times, and a Go-like standard library. If that could be accomplished, I think we would see stati

I would love to see something more like SML, with OCaml compile times, and a Go-like standard library. If that could be accomplished, I think we would see statically typed functional programming go mainstream.