Hello, do you know of articles (or books?) that describe the usage of types for enhancing software quality by coding the software invariants as types?
(And if possible, for example enforce certain operations on such values, maybe also encoded as types?) I remember an interesting talk from Yaron Minsky on that topic. But this rather was an explanation on why OCaml and other strongly typed languages are very useful to ensure software integrity by the type system. There were examples, but not completely going too much into depth there. I would like to explore this more thoroughly and look for articles / books (or other videos), that explain the design technique in more depth. So, if you know of something regarding this topic, please let me know. 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
