From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA10508 for caml-redist; Mon, 8 May 2000 22:05:52 +0200 (MET DST)
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 QAA09687 for <caml-list@pauillac.inria.fr>; Mon, 8 May 2000 16:26:41 +0200 (MET DST)
Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id QAA19147
	for <caml-list@inria.fr>; Mon, 8 May 2000 16:26:40 +0200 (MET DST)
Received: from localhost (localhost [127.0.0.1])
	by saul.cis.upenn.edu (8.9.3/8.9.3) with SMTP id KAA19741;
	Mon, 8 May 2000 10:22:56 -0400 (EDT)
To: matias@k-bell.com
cc: Caml List <caml-list@inria.fr>
Reply-to: bcpierce@cis.upenn.edu
Subject: Re: Book in english 
In-reply-to: Your message of Mon, 08 May 2000 11:13:07 -0300.
             <3916CB71.61FC0301@k-bell.com> 
Date: Mon, 08 May 2000 10:22:56 EDT
Message-ID: <19739.957795776@saul.cis.upenn.edu>
From: "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
Sender: weis

> How about "The little MLer", by Felleisen? That's an easy, nice book for
> beginners to start thinking in functional terms. It even has a chapter
> on modules, and even if it's based on the SML/NJ syntax, it contemplates
> CamlSpecialLight/OCaml syntax.

Unfortunately, freshmen are not very tolerant of "trivial syntactic
differences": we really need an OCaml book.

(Also, I remain to be convinced that Felleisen and Friedman's book,
for all its quirky virtues, is an ideal textbook, even for SML.
Anybody know if it's being used anyplace for real teaching?)

      Benjamin