Would anyone care to read this and comment on it w.r.t. Caml/ML/etc?

http://wiki.cs.uiuc.edu/VisualWorks/Mark+Fussell+Dynamic-vs-Static+Typing+Message