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=AWL 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 870CDBBAF for ; Fri, 3 Oct 2008 16:34:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUDAIPJ5UjAXQIniGdsb2JhbACTYQEBARUiqCyBaA X-IronPort-AV: E=Sophos;i="4.33,356,1220220000"; d="scan'208";a="29871147" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Oct 2008 16:34:17 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m93EY4jk026602 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 3 Oct 2008 16:34:16 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBADjK5UiCcYARo2dsb2JhbACTYQEBAQEBAQcLCgcRqDWBaA X-IronPort-AV: E=Sophos;i="4.33,356,1220220000"; d="scan'208";a="18142138" Received: from coriana6.cis.mcmaster.ca ([130.113.128.17]) by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Oct 2008 16:34:16 +0200 Received: from Dura7.UTS.McMaster.CA (dura7.UTS.McMaster.CA [130.113.196.62]) by coriana6.cis.mcmaster.ca (8.13.7/8.13.7) with ESMTP id m93EY7kw014267 for ; Fri, 3 Oct 2008 10:34:14 -0400 (EDT) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.mcmaster.ca [130.113.64.46]) by Dura7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id m93EXuOJ029573 for ; Fri, 3 Oct 2008 10:33:56 -0400 Received: from [130.113.68.27] (account carette@univmail.cis.mcmaster.ca [130.113.68.27] verified) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.3.12) with ESMTPA id 226937694 for caml-list@inria.fr; Fri, 03 Oct 2008 10:33:57 -0400 Message-ID: <48E62D5B.3060400@mcmaster.ca> Date: Fri, 03 Oct 2008 10:34:03 -0400 From: Jacques Carette Organization: McMaster University User-Agent: Thunderbird 2.0.0.17 (Windows/20080914) MIME-Version: 1.0 To: OCaml Subject: Metaprogramming features Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 5.4.2.338381, Antispam-Engine: 2.6.0.325393, Antispam-Data: 2008.10.3.141913 X-PerlMx-Spam: Gauge=IIIIIII, Probability=7%, Report='BODY_SIZE_1000_LESS 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_800_899 0, __CP_URI_IN_BODY 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __SANE_MSGID 0, __USER_AGENT 0' X-Miltered: at concorde with ID 48E62D5C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; metaocaml:01 ocaml:01 metaocaml:01 ocaml:01 haskell:01 untyped:01 haskell:01 camlp:01 experimental:01 caml:02 namely:02 mcmaster:02 jacques:03 jacques:03 typed:04 A number of you are already aware of the following feature request: http://caml.inria.fr/mantis/view.php?id=4608 whose text reads =================== I really wish that the basic features of metaocaml, namely .< >., .~ and .! were included in OCaml proper. The many other experimental features of metaocaml could stay 'experimental', those are the 3 which are sorely needed. Note that OCaml could be really ahead of Haskell here (with its untyped Template Haskell, which is closer to camlp4 than to metaocaml) by being the first production language to have _typed_ metaprogramming facilities. =================== This feature request is currently the entry in Mantis which has (by far!) the largest number of comments from separate people, as well as now being the entry with the most comments overall. Please add your voice to the chorus! Jacques