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=1.0 required=5.0 tests=AWL,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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id E9E7ABC69 for ; Wed, 17 Oct 2007 18:21:41 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAIjTFUfRVYT4mGdsb2JhbACOTgIBAQcEBhEW X-IronPort-AV: E=Sophos;i="4.21,290,1188770400"; d="scan'208";a="18145452" Received: from an-out-0708.google.com ([209.85.132.248]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Oct 2007 18:21:41 +0200 Received: by an-out-0708.google.com with SMTP id c24so225150ana for ; Wed, 17 Oct 2007 09:21:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=PSVhV1qiQxpveldrZGJA4aLkxPg0meT9y7HaGmab4x4=; b=bRnH3fRxhfIkROVMqlidLgchB6bW/lV51+UweOxfI2b+UGi2HxzqPVFTzdniy6LkQrBHFH8x4w7edsfdWfdzhUW/f/WxyLpBUV1pRhizRem0f5qwpMHC91Ma2D3jah8dR3hf9UEDiO9QNBupWB7m9n+prXUHt/VpTUsIJObi/Lk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=iHfeEsYzWjnqccK7BTelc3yX6e8LRPCxZmOXkWyzPkI+3A+ym4pjUbmp5OrYg8a7punIb2F1PLmYPjFWWWEUwVAD+QCLmK/V1/vCbJbXBhgsWJoDcrScxyuyq1U41BQG1P+CRoPZx7fNM49wYStatKTAyxT7hqLmHVogJSrDSAg= Received: by 10.143.1.2 with SMTP id d2mr2614222wfi.1192638099342; Wed, 17 Oct 2007 09:21:39 -0700 (PDT) Received: by 10.142.104.13 with HTTP; Wed, 17 Oct 2007 09:21:39 -0700 (PDT) Message-ID: <875c7e070710170921n635a2138h382d88164b42401b@mail.gmail.com> Date: Wed, 17 Oct 2007 12:21:39 -0400 From: "Chris King" To: "=?ISO-8859-1?Q?Daniel_B=FCnzli?=" Subject: Re: [Caml-list] Smells like duck-typing Cc: "Dario Teixeira" , caml-list@yquem.inria.fr, skaller In-Reply-To: <81AE55C4-1CDA-4299-8F40-273BDC46613C@epfl.ch> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <788147.33893.qm@web54602.mail.re2.yahoo.com> <81AE55C4-1CDA-4299-8F40-273BDC46613C@epfl.ch> X-Spam: no; 0.00; bunzli:01 buenzli:01 syntax:01 type-safe:01 polymorphic:01 wrote:01 caml-list:01 caml-list:01 caml:02 caml:02 essentially:02 epfl:02 daniel:04 daniel:04 extension:06 On 10/17/07, Daniel B=FCnzli wrote: > [2] http://caml.inria.fr/pub/ml-archives/caml-list/2005/07/1b7a28921aa0a0= e002df9e67ace7b60e.fr.html See also Jacques' follow up, where he provides a syntax extension for these "polymorphic maps" (essentially type-safe property lists): http://caml.inria.fr/pub/ml-archives/caml-list/2005/07/314a9eb55585d32e7876= ef424f5994ae.fr.html