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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9E3C5BB84 for ; Tue, 27 Jan 2009 15:30:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkMBAHOpfklKfU4Yi2dsb2JhbACTRj8BAQEKCwoHDwW2SoVM X-IronPort-AV: E=Sophos;i="4.37,332,1231110000"; d="scan'208";a="20231120" Received: from ey-out-2122.google.com ([74.125.78.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Jan 2009 15:30:29 +0100 Received: by ey-out-2122.google.com with SMTP id 25so741667eya.33 for ; Tue, 27 Jan 2009 06:30:29 -0800 (PST) MIME-Version: 1.0 Received: by 10.86.80.5 with SMTP id d5mr244765fgb.26.1233066628959; Tue, 27 Jan 2009 06:30:28 -0800 (PST) In-Reply-To: <497DD398.5030501@mcmaster.ca> References: <497DD1F5.7050702@yahoo.fr> <497DD398.5030501@mcmaster.ca> Date: Tue, 27 Jan 2009 15:30:28 +0100 Message-ID: <7d8707de0901270630mf12c557oc0554a4276b62463@mail.gmail.com> Subject: Re: [Caml-list] Defining a family of functors From: Andrej Bauer To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; functors:01 andrej:01 andrej:01 camlp:01 notation:01 polymorphic:01 caml-list:01 modules:02 defining:02 perhaps:05 trick:06 first-class:08 first-class:08 wrap:08 bauer:09 Because of problems like these I sometimes wish I had first-class modules. I wonder how different that is from having first-class polymorphic records, actually. Perhaps a bit of camlp4 to wrap up records in module-like notation would do the trick. Andrej