From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <deliverable@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=DNS_FROM_RFC_POST,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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id CD544BB84
	for <caml-list@yquem.inria.fr>; Fri, 30 Jan 2009 19:40:37 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao8BAI3YgknRVd0Vimdsb2JhbACTVT8BAQEKCQwHDwWoDoECjgIBAwEDhA0G
X-IronPort-AV: E=Sophos;i="4.37,352,1231110000"; 
   d="scan'208";a="23339209"
Received: from mail-qy0-f21.google.com ([209.85.221.21])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Jan 2009 19:40:37 +0100
Received: by qyk14 with SMTP id 14so1321633qyk.9
        for <caml-list@inria.fr>; Fri, 30 Jan 2009 10:40:37 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:cc:message-id:from:to
         :in-reply-to:content-type:content-transfer-encoding:mime-version
         :subject:date:references:x-mailer;
        bh=N5LyYSoB5JYMBnETvDUlVLcLzQKIL9yv4J+NmSw7e3Y=;
        b=QRHolgut7splLmHzb783t9Vkkc08Hyr4JXZHvwta8ViSDxWmb8JHI/CEuEE3RKmeiW
         nGXi43+cg1SqNAX026j5SLHEXv4pwR74+aOf7ydDspCk+xzh+ycwLMRzM3ZopqEOOSRa
         E9rpDt6qo+Z2xFEmOjyLurv1EWDTGojZ6ZzDI=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=cc:message-id:from:to:in-reply-to:content-type
         :content-transfer-encoding:mime-version:subject:date:references
         :x-mailer;
        b=KSuqc6RMQPcNOykiqss3bryHqzBn80Z6/3TYLR3iWTyNrM93kXHFB5iXVTBHrXYtqy
         6IHBP+Ox9D7fp5XADnJu7ozV22MZvCLvEDi9uZs42VgsiQTssEcz/Hxc+yyQX1Xbfgoq
         JUnaibiH3gYprdn2q0vfOf0YSu2n933pS5xW0=
Received: by 10.215.39.2 with SMTP id r2mr2729291qaj.23.1233340836991;
        Fri, 30 Jan 2009 10:40:36 -0800 (PST)
Received: from ?10.81.12.254? ([129.170.241.133])
        by mx.google.com with ESMTPS id 6sm3164293ywc.49.2009.01.30.10.40.34
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Fri, 30 Jan 2009 10:40:35 -0800 (PST)
Cc: caml-list@inria.fr
Message-Id: <7ECAF3B5-EFF1-4DF9-9368-2FDED38713DB@gmail.com>
From: Alexy Khrabrov <deliverable@gmail.com>
To: Dave Benjamin <dave@ramenlabs.com>
In-Reply-To: <49831438.2090001@ramenlabs.com>
Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes
Content-Transfer-Encoding: 7bit
Mime-Version: 1.0 (Apple Message framework v930.3)
Subject: Re: [Caml-list] OCaml PLEAC reaches 100%
Date: Fri, 30 Jan 2009 13:40:31 -0500
References: <49831438.2090001@ramenlabs.com>
X-Mailer: Apple Mail (2.930.3)
X-Spam: no; 0.00; ocaml:01 ocaml:01 cheers:01 imho:01 caml-list:01 grep:01 short:01 short:01 100%:94 examples:07 achievement:08 fun:08 i'm:09 dave:09 dave:09 

I've discoverted OCaml PLEAC early on while learning OCaml, and found  
the only method of getting "the OCaml way" which beats asking on the  
IRC: grep the PLEAC.

I believe we all owe a great debt of gratitude to Dave who toiled with  
amazing perseverance and ingenuity for years to make it happen.  I'm  
going to teach my children to be as persistent as Dave!  This is  
nothing short of a miracle and a heroic achievement, IMHO, and a fun  
to read, too, as the examples are short and you always learn something  
new.  Kudos to Dave!

Cheers,
Alexy