From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
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 278347F168
	for <caml-list@sympa.inria.fr>; Thu, 27 Aug 2015 23:18:47 +0200 (CEST)
IronPort-PHdr: 9a23:c4MjuRcXYtXobhjZIQ3kgtntlGMj4u6mDksu8pMizoh2WeGdxc68ZB7h7PlgxGXEQZ/co6odzbGG6Oa+BCdYu96oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDpvcOOKF0SzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePFyRrVdCHEiMnspzMztrxjKCwWVrDNIWWwTll9MAhPZxBD8RJb49CXg4LlTwi6faPX/SrQzERil6a5nRRig3D9BOzk/+W3ajeR/iatapFSqoBkpkN2cW52cKPcrJvCVRtgdX2cUBss=
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=p.donadeo@gmail.com; spf=Pass smtp.mailfrom=p.donadeo@gmail.com; spf=None smtp.helo=postmaster@mail-qg0-f52.google.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  p.donadeo@gmail.com) identity=pra; client-ip=209.85.192.52;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="p.donadeo@gmail.com";
  x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  p.donadeo@gmail.com designates 209.85.192.52 as permitted
  sender) identity=mailfrom; client-ip=209.85.192.52;
  receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-qg0-f52.google.com) identity=helo;
  client-ip=209.85.192.52;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="p.donadeo@gmail.com";
  x-sender="postmaster@mail-qg0-f52.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CjEwBdft9VlDTAVdFehFgGq1yGR4tZAQKHcgKBNAdADAEBAQEBAQEBEAEBAQEHCwsJHyULgh2BfQoBAQQSER0BGx4DDAYFAwEHNwICIgERAQUBHAYbDA6HdgEDEqQPgS8+MYtAgWyCeYoeChknDVaERwElAQUOi1OEInCCaYFDAQSVPYxzmRUSI4EXF4QQPDOCTQEBAQ
X-IPAS-Result: A0CjEwBdft9VlDTAVdFehFgGq1yGR4tZAQKHcgKBNAdADAEBAQEBAQEBEAEBAQEHCwsJHyULgh2BfQoBAQQSER0BGx4DDAYFAwEHNwICIgERAQUBHAYbDA6HdgEDEqQPgS8+MYtAgWyCeYoeChknDVaERwElAQUOi1OEInCCaYFDAQSVPYxzmRUSI4EXF4QQPDOCTQEBAQ
X-IronPort-AV: E=Sophos;i="5.17,423,1437429600"; 
   d="scan'208";a="144008051"
Received: from mail-qg0-f52.google.com ([209.85.192.52])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Aug 2015 23:18:31 +0200
Received: by qgj62 with SMTP id 62so19027893qgj.2
        for <caml-list@inria.fr>; Thu, 27 Aug 2015 14:18:29 -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=+Sn+RNNUMdmM/IoLAS+8KAi4LnQLXdznuCYGMcuriHs=;
        b=sEyzYy8vB726qM+W7xEGMcWGx6INEAQaYzJCMmV/jaad62ZNHTgL9nZqVz8QO02jLW
         3CyfvNdcVzizbOnF6utbtIFY47QHqr8o0sYQyr3yNS10fsdGUeIz9fK3E3mPKznvt7Aq
         2yPyuS9c9OeX+ySp44xjZlTCoFY3hy8SHHQb3K3UzearbsEX64OUayKsXGhVL9C4S8Pd
         kE/I0V/9CHckLf4dQ9UxOqpmw5RLbQe1vXqGRzCr9WFVPL0W6rYmPwnaI10b0GbRhoK/
         O67DKNVVeFz1MPMGwYcON5dhURFmIfx9wllUrOcO6q8B2KeU+hJBPZNlRmpmeWZh/nlW
         B/cw==
X-Received: by 10.140.147.69 with SMTP id 66mr11019373qht.57.1440710309582;
 Thu, 27 Aug 2015 14:18:29 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.140.32.36 with HTTP; Thu, 27 Aug 2015 14:17:50 -0700 (PDT)
In-Reply-To: <CAPFanBFK6y=5+TLDU0oo_z3Ts-LO22m6PZjytQW415LqGO041g@mail.gmail.com>
References: <1C02B1E2-D17D-4008-998E-B17048C62DFA@gmail.com>
 <CAN=ouMRvhoNXoQw3uOLBTY3f+daBigvDzyXWqhSWsiq8mjhcYQ@mail.gmail.com> <CAPFanBFK6y=5+TLDU0oo_z3Ts-LO22m6PZjytQW415LqGO041g@mail.gmail.com>
From: Paolo Donadeo <p.donadeo@gmail.com>
Date: Thu, 27 Aug 2015 23:17:50 +0200
Message-ID: <CAPzAKVA=W+8-HPF=1C7esp08RQQwNG2OL8POfeD_kqQtGc8oLQ@mail.gmail.com>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=001a113562e43a210f051e5182ff
Subject: Re: [Caml-list] We need a rich standard library distributed with
 OCaml, really

--001a113562e43a210f051e5182ff
Content-Type: text/plain; charset=UTF-8

I'm possibly the only one considering a small, essential, base library a
*value* for the OCaml language and community?

The OCaml standard library let the user free to decide what library is the
best choice for each project. I'm currently using Batteries, or Core, for
very different tasks. And sometimes none of the two.

I'm very happy and grateful not to have an OCaml counterpart of the STL or,
worse, the Java Platform!


-- 
*Paolo*

--001a113562e43a210f051e5182ff
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">I&#39;m possibly the only one considering a small, essenti=
al, base library a *value* for the OCaml language and community?<div><br></=
div><div>The OCaml standard library let the user free to decide what librar=
y is the best choice for each project. I&#39;m currently using Batteries, o=
r Core, for very different tasks. And sometimes none of the two.</div><div>=
<br></div><div>I&#39;m very happy and grateful not to have an OCaml counter=
part of the STL or, worse, the Java Platform!</div><div><div><div><br><div =
class=3D"gmail_extra"><div><br></div>-- <br><div class=3D"gmail_signature">=
<div dir=3D"ltr"><i>Paolo</i><br></div></div>
</div></div></div></div></div>

--001a113562e43a210f051e5182ff--