From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1REcHcQ030752
	for <caml-list@sympa-roc.inria.fr>; Mon, 27 Feb 2012 15:38:17 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkACAECUS0/AbSoIe2dsb2JhbABChSetfyIBARYmBCOCHXoRAiYCFhiISgQHl06ODZF0E4Eci0kdAwEBBBcCCgEGBAcCBgcMFAMDAQIChRQ1AwUHAQ0KCBKCCDNjBI1rh1GScA
X-IronPort-AV: E=Sophos;i="4.73,491,1325458800"; 
   d="scan'208";a="133184107"
Received: from einhorn.in-berlin.de ([192.109.42.8])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Feb 2012 15:38:11 +0100
X-Envelope-From: oliver@first.in-berlin.de
X-Envelope-To: <caml-list@inria.fr>
Received: from first (e178008065.adsl.alicedsl.de [85.178.8.65])
	(authenticated bits=0)
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q1REcAoW001079
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT)
	for <caml-list@inria.fr>; Mon, 27 Feb 2012 15:38:10 +0100
Received: by first (Postfix, from userid 1000)
	id 081021540136; Mon, 27 Feb 2012 15:38:09 +0100 (CET)
Date: Mon, 27 Feb 2012 15:38:09 +0100
From: oliver <oliver@first.in-berlin.de>
To: caml-list@inria.fr
Message-ID: <20120227143809.GC2778@siouxsie>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
User-Agent: Mutt/1.5.20 (2009-06-14)
X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8
Subject: [Caml-list] "Modules Matter Most"

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