Hello,
this article I like. I also have experienced, that thinking in types (or: thinking in signatures) give a big advantage on planning a program, and later implementing it. Types make things very clear: you know what is input and what output and how things need to fit tigether, and what kind of signature is needed to maybe fill a gap between an input and an output module... just look at the missing link as a signature. Thie article also mentiones modules as a key point of OCaml, and I fully agree here: Modules Matter Most http://existentialtype.wordpress.com/2011/04/16/modules-matter-most/ Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs