From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AD9DA7EE6D for ; Mon, 3 Jun 2013 14:01:09 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=209.85.212.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mmatalka@gmail.com designates 209.85.212.176 as permitted sender) identity=mailfrom; client-ip=209.85.212.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f176.google.com) identity=helo; client-ip=209.85.212.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-wi0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0AABiFrFHRVdSwk2dsb2JhbABZgzmsYolniDt3CBYOAQEBAQcLCwkUBCSCIwEBBAFAARsSCwEDAQsGBQQHDQ0hIgERAQUBChIGExKHaAEDCQYMnSSMSoJ9hCgKGScDCliIJQEFDI8XBAeDWAOXPoEpjjIWKYJaJIE5Og X-IPAS-Result: As0AABiFrFHRVdSwk2dsb2JhbABZgzmsYolniDt3CBYOAQEBAQcLCwkUBCSCIwEBBAFAARsSCwEDAQsGBQQHDQ0hIgERAQUBChIGExKHaAEDCQYMnSSMSoJ9hCgKGScDCliIJQEFDI8XBAeDWAOXPoEpjjIWKYJaJIE5Og X-IronPort-AV: E=Sophos;i="4.87,792,1363129200"; d="scan'208";a="16570232" Received: from mail-wi0-f176.google.com ([209.85.212.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Jun 2013 14:01:02 +0200 Received: by mail-wi0-f176.google.com with SMTP id hr14so2586870wib.15 for ; Mon, 03 Jun 2013 05:01:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=lDBq5hehHpOzhbIhkXAYK5iV2yFzQeohq/UVh2exaUs=; b=MPTeJUC5XSpMw8CK6f8GY8VUzPYH/6PepuetYNXgVTghYo1s+3IC2QAncrphVTQhkc sD03VkCkIecuizmKl9byLdc7qU/PzWijrguylcFkKDHJfFp1Ma/q+laQSSN34oCFumyj x+Kna8iVtcNevRdXfq5BOpMOdHqsCSA+tFbiOPilMzRU3foCim9YxYNdBk87U8rZU3nT YRuFhDqHaqGR0EyjArX38QjLhlh2LruoTKQeYRwlv01CwJtrhmCOWqCz6eYgPV99Hrm2 Gp0JJ7WFJBDOxO1n1g1tuckGIfC5eaonWBOnA199o9Tp/caoPyi+rBfQLfgAw1VAme0F jBWQ== MIME-Version: 1.0 X-Received: by 10.194.110.169 with SMTP id ib9mr18725316wjb.12.1370260862610; Mon, 03 Jun 2013 05:01:02 -0700 (PDT) Received: by 10.194.123.231 with HTTP; Mon, 3 Jun 2013 05:01:02 -0700 (PDT) Received: by 10.194.123.231 with HTTP; Mon, 3 Jun 2013 05:01:02 -0700 (PDT) In-Reply-To: <51ABF120.2060002@riken.jp> References: <51A81C67.50902@riken.jp> <87bo7rogub.fsf@gmail.com> <51A84283.80309@riken.jp> <20130531231308.GC6483@siouxsie> <51ABF120.2060002@riken.jp> Date: Mon, 3 Jun 2013 14:01:02 +0200 Message-ID: From: Malcolm Matalka To: Francois Berenger Cc: caml-list , oliver Content-Type: multipart/alternative; boundary=047d7bf0f532f7323904de3eb747 Subject: Re: [Caml-list] automatic extaction of the .mli (and a little more) from the .ml --047d7bf0f532f7323904de3eb747 Content-Type: text/plain; charset=ISO-8859-1 I don't think LEGOs are a good analogy here since they have a very well defined and consistent interface :) But I have never found handling mlis by hand to get in the way of program evolution. If you take time in your interfaces program evolution should be more about plugging in functionality in unique ways not changing interfaces willy nilly. On Jun 3, 2013 1:28 PM, "Francois Berenger" wrote: > On 06/01/2013 08:13 AM, oliver wrote: > > [...] > >> Of course, especially if things are explored rather experimentally, >> for example if there is a new field of topics, where the interface >> is NOT clear in advance, starting with the mli-files might be rather >> a show stopper. >> if things are rather experimentally, starting with the ml-file might >> be easier to handle. >> > > This is exactly my case. > > Also, I grow programs organically because it is fun and motivating. > It is like playing with LEGO. > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/**arc/caml-list > Beginner's list: http://groups.yahoo.com/group/**ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-**bugs > --047d7bf0f532f7323904de3eb747 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

I don't think LEGOs are a good analogy here since they h= ave a very well defined and consistent interface :)

But I have never found handling mlis by hand to get in the w= ay of program evolution.=A0 If you take time in your interfaces program evo= lution should be more about plugging in functionality in unique ways not ch= anging interfaces willy nilly.

On Jun 3, 2013 1:28 PM, "Francois Berenger&= quot; <berenger@riken.jp> wr= ote:
On 06/01/2013 08:13 AM, oliver wrote:
> [...]
Of course, especially if things are explored rather experimentally,
for example if there is a new field of topics, where the interface
is NOT clear in advance, starting with the mli-files might be rather
a show stopper.
if things are rather experimentally, starting with the ml-file might
be easier to handle.

This is exactly my case.

Also, I grow programs organically because it is fun and motivating.
It is like playing with LEGO.


--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners<= /a>
Bug reports:
http://caml.inria.fr/bin/caml-bugs
--047d7bf0f532f7323904de3eb747--