From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q04B6LcQ032169
	for <caml-list@sympa-roc.inria.fr>; Wed, 4 Jan 2012 12:06:22 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Am8BADEyBE/RVdW2kGdsb2JhbABDggWDC6dPCCIBAQEBCQkNBxQEIYFyAQEBAwESAg8dAS4LAwELAQUFCw8CJgICIhIBBQEcBikMh1iYeQqLHYM1hFyJMAIFC4EkiUqBFgSVBI19PYFNgi4
X-IronPort-AV: E=Sophos;i="4.71,455,1320620400"; 
   d="scan'208";a="137798148"
Received: from mail-yx0-f182.google.com ([209.85.213.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Jan 2012 12:06:06 +0100
Received: by yenl9 with SMTP id l9so11955392yen.27
        for <caml-list@inria.fr>; Wed, 04 Jan 2012 03:06:05 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:content-type;
        bh=7DcVgt3FqAii4t5Kk8k/7BkBHBReaSXBcxJ2sRHU7Hc=;
        b=I01Cl1iblwaaHtcMGYbsjzGgG5RmQYbhXuog2VQJc6inwIEoF33Q2SHvPRtKrDsjHZ
         mKrtKqQcOJTgidaHu5mHZcyHWK4B38BiYgWttUA769kQfcWVOgqED8xKokCdLybk3n04
         NY6pTAKZN0a33PE6ozBGomAwZwQb1vC/emrhM=
MIME-Version: 1.0
Received: by 10.236.179.38 with SMTP id g26mr71678209yhm.100.1325675165673;
 Wed, 04 Jan 2012 03:06:05 -0800 (PST)
Sender: daniel.c.buenzli@gmail.com
Received: by 10.146.95.8 with HTTP; Wed, 4 Jan 2012 03:06:05 -0800 (PST)
In-Reply-To: <CAHqiZ-+ZJaRaq61FWRU9zi8fm=+LxoWQ=tX-S23yGaQKXm8ejg@mail.gmail.com>
References: <CAHqiZ-L3_qx4sWUrxw57usJkguCb2wuBtRx6d_Gz9aucV_bsqw@mail.gmail.com>
	<CAPFanBFZOcAhRWbuwO5p0JkdRP7n234T4OufAAwaAMceCc4n8g@mail.gmail.com>
	<CAHqiZ-+ZJaRaq61FWRU9zi8fm=+LxoWQ=tX-S23yGaQKXm8ejg@mail.gmail.com>
Date: Wed, 4 Jan 2012 12:06:05 +0100
X-Google-Sender-Auth: Q9wn1eSqkU5YpP2UJCl92thp8NA
Message-ID: <CALgo1QKCRnt134+gpVuis_Yk_QOq6bxgcBFS_jiB+BvU_H4Q4w@mail.gmail.com>
From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] "Let"-less syntax for coreML

> The underlying question is "how to make ML mainstream" which is what the

Am I the only one to be very, very, very, tired of this question ?

There's an obvious thing missing in the list of what has been tried.
Well-done and maintained libraries you can use for about any
programming task you have at hand -- but I highly doubt this will make
"ML mainstream" either, I'm just defending my own interest.

IIRC you used to be a library designer, please stop fiddle with the
syntax of the language. Library design is also language design. Pick a
missing OCaml library you'd have interest in implementing (e.g. a good
interface to imap protocol but you may not be interested in that) and
fill in the void with a great, modular and tasteful implementation.

Best,

Daniel

P.S. If you think syntax is the main answer to the question above
maybe you should have a chat with users of "mainstream" programming
languages. In my experience, you'll soon see that their tastes and
philosophical view points on programming are rather different than
yours (which may be due to ignorance, lack of education and marketing
influence but that's rather presumptuous for me to say).