From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id C4D1DBBC4 for ; Thu, 5 Mar 2009 03:57:39 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhACAMPOrklKfSwdimdsb2JhbACUOj8BAQEKCQwHDwWxYIEHkBsBAwEDhAUG X-IronPort-AV: E=Sophos;i="4.38,304,1233529200"; d="scan'208";a="23880420" Received: from yx-out-2324.google.com ([74.125.44.29]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Mar 2009 03:57:39 +0100 Received: by yx-out-2324.google.com with SMTP id 31so2139776yxl.3 for ; Wed, 04 Mar 2009 18:57:38 -0800 (PST) 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 :content-transfer-encoding; bh=K1jLIXHgNfqN8iDNJRxlYv1dtuW9AA5dZdNj2L0A3YA=; b=dZyBgC4X3VEim3c0SdfCjVXcP8ukpIuR5tCMHiNNNGmCNhsj2D+dkrAZamKSB4Rpxp i+qDRiqVr6lilKxKJ3ls+nHwHqspA5P9V6+O7nTX9izGHUobmh90or4t+xwd9cFu6gXZ aZXgYThdWC+sDdII04B3yfr1O4leYifPV29gs= 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:content-transfer-encoding; b=sJXmp33m/JObB3KV2gI8CNKIktyBAUQrrJ+JHohCV/VNELX828ZdoYuDNECMFOCiuo KG5KLJXWWdC4BCi74uqvnvlHCTZfoxnXoE+esoKF7eJU/WoqQsKA+2zGHN0K0ry3zvGz Weog4kk0DUU2PzZTPXVpO+kyeefReSDUD1Iq4= MIME-Version: 1.0 Received: by 10.151.49.8 with SMTP id b8mr1277909ybk.233.1236221858049; Wed, 04 Mar 2009 18:57:38 -0800 (PST) In-Reply-To: <20090304080626.GA19682@usha.takhisis.invalid> References: <200903021621.n22GL4Pr020568@alumnus.caltech.edu> <200903040659.n246xCY7004427@alumnus.caltech.edu> <20090304080626.GA19682@usha.takhisis.invalid> Date: Wed, 4 Mar 2009 18:57:38 -0800 Message-ID: Subject: Re: [Caml-list] The new OCaml book (Objective Caml Programming Language by Tim Rentsch) From: Jason Hickey To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 ocaml:01 post-doc:01 2002.:98 2007,:98 grandiose:98 wrote:01 wrote:01 caml-list:01 delayed:01 caml:02 caml:02 objective:02 overly:02 latex:02 To the OCaml community, I apologize for my silence. I have very strong feelings for this community. I have benefited quite profoundly from Caml (starting when I first wrote Metaprl in caml-light), and I wish to continue my role as an advocate, supporter, and instructor. Before I can say anything, I think it is important to wait until I have seen a copy of the text. Amazon promises me it will arrive by Friday, so we shall see. For now, let me just mention that there is considerable documentation available online if one wishes to assess the history/pedigree of the text. The course sites point to various versions of the book, usually under the "Resources" section for Caltech CS134b. Here is an early version of the text I used in 2002. http://www.cs.caltech.edu/~jyh/classes/cs134/cs134b/2002/book.pdf Initially I wrote the book in Metaprl, then I later switched to LaTeX, so there are a couple of separate subversion repositories (use "svn ls " and similar commands). December 2000 -- April 2006: http://svn.metaprl.org/svnroot/mojave/metaprl/theories/ocaml_doc@9228 April 2006 -- Jan 2007: http://svn.metaprl.org/svnroot/papers/trunk/ocaml_book subversion stats: jyh: 267 revisions, lines added/removed: +293342, -216176 nogin: 29 revisions, lines: +16441, -12339 txr: 36 revisions, lines: +13958, -4536 (nogin is Aleksey Nogin, a post-doc and good friend; his changes were technical) In Jan 2007, I had the dispute with Mr. Rentsch where I thought his claims were overly grandiose, and I rolled back the text to 2003 and started over. http://svn.metaprl.org/svnroot/papers/trunk/ocaml_book The current text is submitted and ready for publication since Jan 2008, but it has been delayed. Mr. Rentsch made a formal request to CUP to review the manuscript. We sent him a copy in Jan 2008; he acknowledged receipt, but the status has been in limbo while we await his review. I now believe that this may have been a delaying tactic... It is a bit ironic that Mr. Rentsch did not extend me the same courtesy, so that now I must be silent until Amazon fulfills my order! It is difficult to be silent, I feel a great deal of fear, but it cannot yet be grounded. We shall see. Jason