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
