From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path:
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
by sympa.inria.fr (Postfix) with ESMTPS id 39DE97EE51
for ; Mon, 27 May 2013 22:58:20 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
authenticity information available from domain of
p.donadeo@gmail.com) identity=pra; client-ip=209.85.214.178;
receiver=mail2-smtp-roc.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
p.donadeo@gmail.com designates 209.85.214.178 as permitted
sender) identity=mailfrom; client-ip=209.85.214.178;
receiver=mail2-smtp-roc.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="p.donadeo@gmail.com";
x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
authenticity information available from domain of
postmaster@mail-ob0-f178.google.com) identity=helo;
client-ip=209.85.214.178;
receiver=mail2-smtp-roc.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="postmaster@mail-ob0-f178.google.com";
x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgQCAAnIo1HRVdayjWdsb2JhbABagkSEL75MfwgWDgEBAQEHCwsJEgYkgiMBAQQBIx0BGx4DAQsGBQQHNwICIgERAQUBHAYTh3oBAwkGn3aLcE+CfYQwChknDAFYiAwBBQyPGIJBgRMDlzuPWxYphDc6
X-IPAS-Result: AgQCAAnIo1HRVdayjWdsb2JhbABagkSEL75MfwgWDgEBAQEHCwsJEgYkgiMBAQQBIx0BGx4DAQsGBQQHNwICIgERAQUBHAYTh3oBAwkGn3aLcE+CfYQwChknDAFYiAwBBQyPGIJBgRMDlzuPWxYphDc6
X-IronPort-AV: E=Sophos;i="4.87,753,1363129200";
d="scan'208";a="19192684"
Received: from mail-ob0-f178.google.com ([209.85.214.178])
by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 May 2013 22:58:19 +0200
Received: by mail-ob0-f178.google.com with SMTP id fb19so1062100obc.9
for ; Mon, 27 May 2013 13:58:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20120113;
h=mime-version:in-reply-to:references:from:date:message-id:subject:to
:content-type;
bh=Xl4z/b3TJXQcj7/W+xcMVxF/bo998pNIk2XVtjMOFRg=;
b=HCxzw/BYGN66gOMoWzn3lMqn4VKe+UQpGAI+2G2V9Im7jUZlE+e9Xmhbp9wtiiPFPc
/31+zGUmA3m9ou7W1kQAQeZRW4Jg7ej/35WhtgLrbpCsRYNfn2J67ZnRVPEcInJszQ3D
YXOaVDhcqqIobCUeEkm0AE0BQr3wJrKbonYI9ESM5Ek2yC1A5Dbq+Qp7/y7fDPAykDA7
C8WRDtkMy7ZjQqfyJQD1rNEbW1JN0WKgcXKVWNj4K0d4i9gjEJeOJW1VdjN3I9ngVWmz
l3wgsOhi21fEHRSuz/zNnjaB/sxsEU42cAlldnMtb6JVgaq6AuAT4qpkmcHYJhczzX6R
zflg==
X-Received: by 10.182.32.34 with SMTP id f2mr19268439obi.86.1369688298329;
Mon, 27 May 2013 13:58:18 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.76.26.44 with HTTP; Mon, 27 May 2013 13:57:38 -0700 (PDT)
In-Reply-To: <51A3C399.1070701@freenet.de>
References: <20130523235355.GI6510@siouxsie> <20130526150008.GA2014@siouxsie>
<20130526234911.41866xca7wgoirfb@webmail.in-berlin.de> <51A30E01.5070300@freenet.de>
<20130527185345.e01a7733ac652f89f4e400f7@mega-nerd.com> <51A353BE.5030009@freenet.de>
<51A3C399.1070701@freenet.de>
From: Paolo Donadeo
Date: Mon, 27 May 2013 22:57:38 +0200
Message-ID:
To: OCaml mailing list
Content-Type: multipart/alternative; boundary=089e013a079479a66904ddb96816
Subject: Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's
variables)
--089e013a079479a66904ddb96816
Content-Type: text/plain; charset=UTF-8
On Mon, May 27, 2013 at 10:35 PM, Mr. Herr wrote:
> The fact that this is ridiculous does not show that I am wrong.
I think you are taking this discussion a bit too much seriously.
About people "trying to wrap my head around FP for months, with little
result..." what can I say? Maybe the answer is that FP is simply too hard
for a larger audience?
What about quantum chromodynamics? I personally don't understand anything
about the argument, even the Wikipeda article is totally obscure to me. And
still I don't think this is a problem for people working on that topic and
I don't advocate a substantial review of the discipline to enlarge the
public.
Over and out :-)
--
*Paolo*
--089e013a079479a66904ddb96816
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable