From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 0DE0F7F249
	for <caml-list@sympa.inria.fr>; Tue, 30 Oct 2012 02:19:57 +0100 (CET)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AosBAOwpj1BKN1ZKnGdsb2JhbABEhhi9FgEBAQEBCAsJCRQngh8BBSNWEAsaAhkNAgJHEAYbh34EqTuCO5AZgSCKVYVKMmEDm0oTjTsO
X-IronPort-AV: E=Sophos;i="4.80,675,1344204000"; 
   d="scan'208";a="160824715"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Oct 2012 02:19:56 +0100
Received: from [192.168.0.100] (11-233.197-178.cust.bluewin.ch [178.197.233.11])
	by smtp.webfaction.com (Postfix) with ESMTP id CE8CC5A10FD9;
	Mon, 29 Oct 2012 20:19:50 -0500 (CDT)
Date: Tue, 30 Oct 2012 02:19:47 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Francois Berenger <berenger@riken.jp>
Cc: caml-list <caml-list@inria.fr>
Message-ID: <F0636EA0C1564CDC9F5195243D7D5ADE@erratique.ch>
In-Reply-To: <508F22BD.7010103@riken.jp>
References: <508F22BD.7010103@riken.jp>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] Why should I use .mli files?

Le mardi, 30 octobre 2012 =C3=A0 01:43, Francois Berenger a =C3=A9crit :
> Also, maybe I only work on toy-size OCaml projects. So, I never
> bothrered to create any .mli file.
> I would like to know if I should bother about them.

For me, a program that lacks mli files means lack of design, abstraction an=
d documentation and hence equates with rubbish.=20=20

For example at a certain point you (or others) will read your code. At that=
 moment simple things like being able to distinguish between functions/type=
s that are local to a module and those that are used by other part of the p=
rogram is immensely useful. And that's only one of the purpose of mli files.

In fact mli files are the first thing I write when I design programs.=20=20

Best,

Daniel=20=20