aha! Yes, OCaml. And F#. Although I think, OCaml was first.