Advantages of Soft Typing This is a continuation of this discussion. The main points for soft typing are as follows. * Compile time type checks. Soft typing can catch the same amount of provable errors at compile time as static typing. * Automatic downcasts. Downcasts are done automatically assuming the program passes type checking. The main argument for explicit casts is that it provides the programmer with more information, but this is a misnomer. One does not have to write down information for it to be shown to him, so long as said information is inferrable. Note: whether or not you believe OCaml doesn't have casting is irrelevant, simply assume that, when I refer to casting, I also mean situations in which it's emulated. * Unimposing. Unless a piece of code is provably incorrect at compile time, the compiler can insert runtime checks.
M. Keijzer, V. Babovic, C. Ryan, M. O'Neill, and M. Cattolico. Proceedings of the Genetic and Evolutionary
Computation Conference (GECCO-2001), page 42--49. San Francisco, California, USA, Morgan Kaufmann, (7-11 July 2001)
C. Fischer, and H. Wehrheim. Proceedings of AMAST 2000: International Conference on Algebraic Methodology And Software Technology, volume 1816 of Lecture Notes in Computer Science, Springer Verlag, (2000)