From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <bobzhang1988@gmail.com>
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 9D9387ED7A
	for <caml-list@sympa.inria.fr>; Sat, 22 Sep 2012 15:13:43 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  bobzhang1988@gmail.com) identity=pra;
  client-ip=209.85.216.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="bobzhang1988@gmail.com";
  x-sender="bobzhang1988@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  bobzhang1988@gmail.com designates 209.85.216.182 as permitted
  sender) identity=mailfrom; client-ip=209.85.216.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="bobzhang1988@gmail.com";
  x-sender="bobzhang1988@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-qc0-f182.google.com) identity=helo;
  client-ip=209.85.216.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="bobzhang1988@gmail.com";
  x-sender="postmaster@mail-qc0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhgCAFK4XVDRVdi2k2dsb2JhbABFhURHuBgIIwEBAQEJCQsJFAQjgiABAQEEEgIJBhUIARscAQEDDAYFCw0CAgUWCwICCQMCAQIBEREBBQEcBg0BBQIBAR6HUAEDDwuaCQkDi1ZPgnWEcAoZJw1ZiHQBBQyBFYl7hRiBEgOVZYEVjS4/hCM
X-IronPort-AV: E=Sophos;i="4.80,467,1344204000"; 
   d="scan'208";a="174220119"
Received: from mail-qc0-f182.google.com ([209.85.216.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Sep 2012 15:13:42 +0200
Received: by qcsg15 with SMTP id g15so372284qcs.27
        for <caml-list@inria.fr>; Sat, 22 Sep 2012 06:13:42 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=jY31cjTxyIczmLpFexzewIDIQncFZdJasd3RZ3yogCk=;
        b=QrKjQficzu8gbq8trNKsc7ktZrozdZXe7jjFZu5d9nBAUgn51qiL7lSx9A4P7ri9hf
         c2DYdTNG7TI93us9kXP0ef2JIk/AWGVn9qLsUYaCI6jILkuPa/uoTg1P7TU2bOC8VVCt
         k6DrBucb4IilHa80J2biMhKNFxBVO2G6HLqGRq8SLCv9Wk8czqRQWoyJoq2/BPDm5iuc
         NsoM3u42DRHovueIIDhwPiYKT9DXc0qN5Bq0AKF7EdGCuAFyJiQh9aeW5D2xRozx6za4
         9CX+nk+tFVQrd1FYijd8KNsflfFC2iEsI1cerwjCXtBGvpwovUtqW2AvWaX6mnVXSNAJ
         SmrQ==
Received: by 10.229.136.7 with SMTP id p7mr5272791qct.102.1348319621775;
        Sat, 22 Sep 2012 06:13:41 -0700 (PDT)
Received: from seas0821.wireless-pennnet.upenn.edu (seas0821.wireless-pennnet.upenn.edu. [158.130.107.55])
        by mx.google.com with ESMTPS id l3sm16746356qan.19.2012.09.22.06.13.40
        (version=SSLv3 cipher=OTHER);
        Sat, 22 Sep 2012 06:13:41 -0700 (PDT)
Message-ID: <505DB983.6070902@gmail.com>
Date: Sat, 22 Sep 2012 09:13:39 -0400
From: Hongbo Zhang <bobzhang1988@gmail.com>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:15.0) Gecko/20120907 Thunderbird/15.0.1
MIME-Version: 1.0
To: Jacques Carette <carette@mcmaster.ca>
CC: oleg@okmij.org, caml-list@inria.fr
References: <20120922075008.24778.qmail@www1.g3.pair.com> <505DB4B7.5030309@mcmaster.ca>
In-Reply-To: <505DB4B7.5030309@mcmaster.ca>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Re: Call for collaboration on the future of camlp4

On 9/22/12 8:53 AM, Jacques Carette wrote:
> 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
Yes, I agree that it would much nicer we have such facility in ocaml, no 
competition..