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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 210CCBBAF for ; Fri, 3 Oct 2008 18:01:34 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUDACPe5UjAXQIniGdsb2JhbACTYQEBARUiqEGBaA X-IronPort-AV: E=Sophos;i="4.33,357,1220220000"; d="scan'208";a="18149567" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Oct 2008 18:01:34 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m93G1XoG030954 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 3 Oct 2008 18:01:33 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUDANfe5UjCpx6wiGdsb2JhbACTYQEBARUiqBSBaA X-IronPort-AV: E=Sophos;i="4.33,357,1220220000"; d="scan'208";a="15637251" Received: from smtpmin.univ-orleans.fr (HELO min.univ-orleans.fr) ([194.167.30.176]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Oct 2008 18:01:33 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by min.univ-orleans.fr (Postfix) with ESMTP id 19CAF12B4B6; Fri, 3 Oct 2008 18:01:33 +0200 (CEST) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 2A0B536E61; Fri, 3 Oct 2008 18:01:36 +0200 (CEST) Subject: Re: [Caml-list] Metaprogramming features From: David Teller To: Jacques Carette Cc: OCaml In-Reply-To: <48E62D5B.3060400@mcmaster.ca> References: <48E62D5B.3060400@mcmaster.ca> Content-Type: text/plain Date: Fri, 03 Oct 2008 18:01:36 +0200 Message-Id: <1223049697.6282.8.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 48E641DD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; univ-orleans:01 camlp:01 metaocaml:01 haskell:01 ocaml:01 cheers:01 ocaml:01 haskell:01 untyped:01 camlp:01 metaocaml:01 univ-orleans:01 lifo:01 liquidations:98 wrote:01 Gasp, lobbying on this list ? :) I strongly agree with that feature request. One reason is all the code which is currently in Camlp4 but actually deserves the MetaOCaml treatment. The other reason is that I believe that the Haskell vs. OCaml race matters. Cheers, David On Fri, 2008-10-03 at 10:34 -0400, Jacques Carette wrote: > 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 -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.