. . . "Many languages have support for both, including Lisp and the aforementioned Java and C++.The third axis is manifest versus implicit typing, and it is a fascinating axis. (Note that this axis is really only applicable to statically typed languages, so it might not really even be an axis in its own right, but I think it is worth looking at here.) Implicitly typed languages such as OCAML, although the" .