He should have take a look at F# or OCaml. After reading his post it felt like that would be the best fit for his description of the language.