Received: from tmp.ensta.org (tmp.ensta.org [147.250.22.1])
	by mx3.messagingengine.com (Postfix) with ESMTP id BED6CAAC203
	for <ogrisel@emailuser.net>; Tue, 19 Jul 2005 05:49:15 -0400 (EDT)
Received: by tmp.ensta.org (Postfix)
	id 0760AB848F; Tue, 19 Jul 2005 11:55:25 +0200 (CEST)
Delivered-To: olivier.grisel@ensta.org
Received: from localhost (localhost [127.0.0.1])
	by tmp.ensta.org (Postfix) with ESMTP id 82FBBB848E
	for <olivier.grisel@ensta.org>; Tue, 19 Jul 2005 11:55:24 +0200 (CEST)
Received: from tmp.ensta.org ([147.250.22.1])
 by localhost (tmp.ensta.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP
 id 05760-09 for <olivier.grisel@ensta.org>;
 Tue, 19 Jul 2005 11:55:18 +0200 (CEST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by tmp.ensta.org (Postfix) with ESMTP id 7415BB8488
	for <olivier.grisel@ensta.org>; Tue, 19 Jul 2005 11:55:18 +0200 (CEST)
Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6J9g1Ab031037;
	Tue, 19 Jul 2005 11:42:05 +0200
Received: from yquem.inria.fr (localhost [127.0.0.1])
	by yquem.inria.fr (Postfix) with ESMTP
	id 9391FBCAF; Tue, 19 Jul 2005 11:42:01 +0200 (CEST)
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 8ACCFBCAE
	for <caml-list@yquem.inria.fr>; Tue, 19 Jul 2005 11:35:31 +0200 (CEST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6J9ZVrc025318
	for <caml-list@yquem.inria.fr>; Tue, 19 Jul 2005 11:35:31 +0200
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA11544 for <caml-list@pauillac.inria.fr>; Tue, 19 Jul 2005 11:35:30 +0200 (MET DST)
Received: from rwcrmhc11.comcast.net (rwcrmhc11.comcast.net [204.127.198.35])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6J9ZTox030167
	for <caml-list@inria.fr>; Tue, 19 Jul 2005 11:35:29 +0200
Received: from [192.168.1.4] (c-24-10-253-157.hsd1.ut.comcast.net[24.10.253.157])
          by comcast.net (rwcrmhc11) with ESMTP
          id <2005071909352701300rh1mse>; Tue, 19 Jul 2005 09:35:27 +0000
Message-ID: <42DCC95F.6050303@cs.utah.edu>
Date: Tue, 19 Jul 2005 03:35:27 -0600
From: Robert Morelli <morelli@cs.utah.edu>
User-Agent: Mozilla Thunderbird 1.0 (X11/20041206)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: james woodyatt <jhw@wetware.com>
Cc: Ocaml <caml-list@inria.fr>
Subject: Re: [Caml-list] (Mostly) Functional Design?
References: <9cc3782b05071411004b27b6a4@mail.gmail.com> <42DB6161.4030507@cs.utah.edu> <006801c58ba4$0b7bfe60$322cf8c1@oemcomputer> <42DBCA16.3000002@barettadeit.com> <E08F1740-08C4-4931-9CCD-8ACABB2A0E99@gmail.com> <18c83100e1769d1005e6f423c6003566@wetware.com>
In-Reply-To: <18c83100e1769d1005e6f423c6003566@wetware.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at nez-perce with ID 42DCCAE9.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at concorde with ID 42DCC963.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at nez-perce with ID 42DCC961.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; morelli:01 morelli:01 caml-list:01 woodyatt:01 ocaml:01 haskell:01 hudak:01 monads:01 monads:01 programmer's:01 semantics:01 haskell:01 felleisen:01 findler:01 flatt:01 
Sender: caml-list-admin@yquem.inria.fr
Errors-To: caml-list-admin@yquem.inria.fr
X-BeenThere: caml-list@yquem.inria.fr
X-Mailman-Version: 2.0.11
Precedence: bulk
List-Help: <mailto:caml-list-request@yquem.inria.fr?subject=help>
List-Post: <mailto:caml-list@yquem.inria.fr>
List-Subscribe: <http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list>,
	<mailto:caml-list-request@yquem.inria.fr?subject=subscribe>
List-Id: Caml users' mailing list <caml-list.yquem.inria.fr>