> Other strongly typed functional languages such as OCaml exist, but many aspects are not nearly as mature.

Did he mean "statically typed"?