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=0.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 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 4735BBC69 for ; Thu, 15 Nov 2007 23:18:59 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALJUPEfUGyojimdsb2JhbACBXY0nAgEIAggREQc X-IronPort-AV: E=Sophos;i="4.21,422,1188770400"; d="scan'208";a="19359126" Received: from smtp5-g19.free.fr ([212.27.42.35]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Nov 2007 23:18:59 +0100 Received: from smtp5-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp5-g19.free.fr (Postfix) with ESMTP id 986483F6176; Thu, 15 Nov 2007 23:18:58 +0100 (CET) Received: from Llea.celt.neu (ron34-3-82-236-236-194.fbx.proxad.net [82.236.236.194]) by smtp5-g19.free.fr (Postfix) with ESMTP id 782A43F6161; Thu, 15 Nov 2007 23:18:58 +0100 (CET) Received: from Llea.celt.neu (localhost [127.0.0.1]) by Llea.celt.neu (8.14.1/8.13.8) with ESMTP id lAFMO8cq001589; Thu, 15 Nov 2007 23:24:09 +0100 (CET) (envelope-from michael.le_barbier@laposte.net) Received: (from michael@localhost) by Llea.celt.neu (8.14.1/8.13.8/Submit) id lAFMO8bH001588; Thu, 15 Nov 2007 23:24:08 +0100 (CET) (envelope-from michael.le_barbier@laposte.net) X-Authentication-Warning: Llea.celt.neu: michael set sender to michael.le_barbier@laposte.net using -f To: pierre.weis@inria.fr (Pierre Weis) Cc: Alain Frisch , caml-list Subject: Re: [Caml-list] Compiler feature - useful or not? References: <473A363F.2080301@gmail.com> <891bd3390711131608g48b584a4n6b0ccab95d7de3f3@mail.gmail.com> <20071114075827.GA24058@yquem.inria.fr> <473AEC04.3030303@frisch.fr> <20071114143524.GA4423@yquem.inria.fr> <473B249D.9040703@frisch.fr> <20071114184352.GB28796@yquem.inria.fr> <473BE750.9060301@frisch.fr> <20071115132649.GB15754@yquem.inria.fr> From: michael.le_barbier@laposte.net (=?iso-8859-15?Q?Micha=EBl?= Le Barbier) Date: Thu, 15 Nov 2007 23:24:08 +0100 In-Reply-To: <20071115132649.GB15754@yquem.inria.fr> (Pierre Weis's message of "Thu\, 15 Nov 2007 14\:26\:49 +0100") Message-ID: <86wssj87w7.fsf@Llea.celt.neu> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; compiler:01 caml-list:01 int:01 canonical:03 canonical:03 confused:04 long:06 programmer:07 michael:07 michael:07 quite:08 strange:08 useful:09 curious:09 feature:09 This long article is very interesting and pedagogic to the novice programmer I am. The `int_of_peano' example is quite enlightening for me. However, I must confess I was confused by the use of `injection'/`projection', especially since the `canonical injection S -> S/R' is usually not injective! The name `canonical surjection' would suit it better, would'nt it? I am curious to know why this strange terminology is used. --=20 Regards, Micha=EBl LB