From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 795AB7ED7A for ; Sat, 22 Sep 2012 14:54:17 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=pra; client-ip=130.113.64.67; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=mailfrom; client-ip=130.113.64.67; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@pinegw01.uts.mcmaster.ca) identity=helo; client-ip=130.113.64.67; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="postmaster@pinegw01.uts.mcmaster.ca"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApECACW0XVCCcUBDnGdsb2JhbABFhgu3FAQEgScBAQEBAQgLCQkUJ4IgAQEFHQYVQAEQCxgCAgUWCwICCQMCAQIBRRMBBQIBAYgBC6VmkmSBIYl7gwqCDoESA5Z6hEyNRA X-IronPort-AV: E=Sophos;i="4.80,467,1344204000"; d="scan'208";a="174219024" Received: from pinegw01.uts.mcmaster.ca ([130.113.64.67]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Sep 2012 14:54:16 +0200 Received: from Gorash7.UTS.McMaster.CA (Gorash7.UTS.McMaster.CA [130.113.196.61]) by pinegw01.uts.mcmaster.ca (8.14.4/8.14.4) with ESMTP id q8MCr6bQ031229; Sat, 22 Sep 2012 08:53:07 -0400 Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by Gorash7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id q8MCr5dQ012315; Sat, 22 Sep 2012 08:53:05 -0400 Received: from [99.237.30.191] (account carette@univmail.cis.mcmaster.ca HELO [192.168.2.100]) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 5.2.12) with ESMTPSA id 424458119; Sat, 22 Sep 2012 08:53:05 -0400 Message-ID: <505DB4B7.5030309@mcmaster.ca> Date: Sat, 22 Sep 2012 08:53:11 -0400 From: Jacques Carette Organization: McMaster University User-Agent: Mozilla/5.0 (Windows NT 6.0; WOW64; rv:15.0) Gecko/20120907 Thunderbird/15.0.1 MIME-Version: 1.0 To: oleg@okmij.org CC: bobzhang1988@gmail.com, caml-list@inria.fr References: <20120922075008.24778.qmail@www1.g3.pair.com> In-Reply-To: <20120922075008.24778.qmail@www1.g3.pair.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 5.6.1.2065439, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2012.9.22.124521 X-PerlMx-Spam: Gauge=IIIIIIII, Probability=8%, Report=' MULTIPLE_RCPTS 0.1, HTML_00_01 0.05, HTML_00_10 0.05, BODYTEXTP_SIZE_3000_LESS 0, BODY_SIZE_1000_LESS 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_600_699 0, BODY_SIZE_7000_LESS 0, DATE_TZ_NA 0, __ANY_URI 0, __BOUNCE_CHALLENGE_SUBJ 0, __BOUNCE_NDR_SUBJ_EXEMPT 0, __CP_URI_IN_BODY 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_FROM 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __MOZILLA_MSGID 0, __MULTIPLE_RCPTS_CC_X2 0, __SANE_MSGID 0, __STOCK_PHRASE_7 0, __SUBJ_ALPHA_END 0, __TO_NO_NAME 0, __URI_NO_WWW 0, __URI_NS , __USER_AGENT 0' X-Spam-Flag: NO Subject: Re: [Caml-list] Re: Call for collaboration on the future of camlp4 I emphatically agree with Oleg. I'll reinforce on point regarding the competition: On 22/09/2012 3:50 AM, oleg@okmij.org wrote: > [...] there is a definite push towards MetaOCaml-like type safety > for expressions. > http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal > > see especially > Part B: Add new MetaML-style constructs for strongly-typed metaprogramming. This is being implemented NOW. Simon Peyton Jones is doing the ghc work, and I am porting the metaocaml codes I have to serve as test cases. Simon announced that this 'typed quotes and splices' will be in GHC 7.8 at the Haskell Workshop. Jacques