From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nilekim@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 6B859BC37
	for <caml-list@yquem.inria.fr>; Fri,  4 Sep 2009 05:24:49 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtkBAKcloErRVdS6kWdsb2JhbACCJy+PLYh8PwEBAQEJCwoHEwOtIoEnkCUBAwIEhBcF
X-IronPort-AV: E=Sophos;i="4.44,329,1249250400"; 
   d="scan'208";a="45995745"
Received: from mail-vw0-f186.google.com ([209.85.212.186])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Sep 2009 05:24:48 +0200
Received: by vws16 with SMTP id 16so706373vws.1
        for <caml-list@yquem.inria.fr>; Thu, 03 Sep 2009 20:24:47 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:in-reply-to:references
         :date:message-id:subject:from:to:content-type;
        bh=MYA8xk2QnR6m4M8clOmRiAXYtkfTXHRoOAlib5tBGX8=;
        b=u8h+/lC08LaUfunmX+HMC/TVDqJN1bsWR4SjqEPKWGmq91nC7xZxs1NnL0PbnQNVDD
         HUwt1PHOtnMHra6L4WDHb/EHsEqtNgxOmvBGKh0/s72oKbRvvYqYuftEPPX8F9hh/GmY
         22J8Imp1CSl9TihBL/tcpYuNrQiw9v/LqUUIA=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type;
        b=oEjAnA/4vJ/he6SjGowDLkzMnsLdGC5mUuwZNT9hY1DA7pNVwAvoZ3WBil4f7U/W0M
         fQgZcpt3anN37EHm8izLbG/17szzOmULPHAS53G/jQagB8jZMi3YDbpac9Fq3F6UPx3V
         3yP6IHyhGeoBRJ6PzZKNueRL/z5w+lPxE3rdk=
MIME-Version: 1.0
Received: by 10.220.109.34 with SMTP id h34mr14400828vcp.101.1252034687872; 
	Thu, 03 Sep 2009 20:24:47 -0700 (PDT)
In-Reply-To: <4AA00863.4060105@lri.fr>
References: <4A9FBF04.1060608@gmail.com> <4AA00863.4060105@lri.fr>
Date: Thu, 3 Sep 2009 23:24:47 -0400
Message-ID: <2a1a1a0c0909032024i504ecec4p3938dbb95a6c3ad2@mail.gmail.com>
Subject: Re: [Caml-list] Why don't you use batteries?
From: Mike Lin <nilekim@gmail.com>
To: Caml <caml-list@yquem.inria.fr>
Content-Type: multipart/alternative; boundary=00c09f8a4f69d138ec0472b80aea
X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 ocaml's:01 lri:01 ocaml's:01 2009:98 2009:98 caml-list:01 library:03 library:03 long:06 long:06 standard:07 standard:07 

--00c09f8a4f69d138ec0472b80aea
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

2009/9/3 Jean-Christophe Filli=E2tre <Jean-Christophe.Filliatre@lri.fr>

>
> > 8) Other (please explain)
>
> I like writing my own libraries when I need some.
>

Ditto,
Due to the sparsity of OCaml's standard library, many long term users
probably have their own library to do all sorts of little things they need,
and substantial amounts of code written around it. :-(

--00c09f8a4f69d138ec0472b80aea
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

2009/9/3 Jean-Christophe Filli=E2tre <span dir=3D"ltr">&lt;<a href=3D"mailt=
o:Jean-Christophe.Filliatre@lri.fr">Jean-Christophe.Filliatre@lri.fr</a>&gt=
;</span><br><div class=3D"gmail_quote"><blockquote class=3D"gmail_quote" st=
yle=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
&gt; 8) Other (please explain)<br>
<br>
I like writing my own libraries when I need some.<br></blockquote><div><br>=
</div><div>Ditto,</div><div>Due to the sparsity of OCaml&#39;s standard lib=
rary, many long term users probably have their own library to do all sorts =
of little things they need, and substantial amounts of code written around =
it. :-(</div>
</div>

--00c09f8a4f69d138ec0472b80aea--