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 CC7BB7EDD9 for ; Fri, 5 Oct 2012 09:51:45 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ontologiae@gmail.com) identity=pra; client-ip=209.85.161.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="ontologiae@gmail.com"; x-sender="ontologiae@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of ontologiae@gmail.com designates 209.85.161.182 as permitted sender) identity=mailfrom; client-ip=209.85.161.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="ontologiae@gmail.com"; x-sender="ontologiae@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-gg0-f182.google.com) identity=helo; client-ip=209.85.161.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="ontologiae@gmail.com"; x-sender="postmaster@mail-gg0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMCAB+QblDRVaG2k2dsb2JhbABFgkuDRLZJgjsIIwEBAQEJCQsJFAQjgiABAQEDARICDx0BGx0BAwELBgUEAQY3AgIhAQERAQUBHAYTIodQAQMJBguZfAkDi1ZPgnWEfQoZJw1ZiHUBBQyKToVbgRIDlBSBVYEVigyDLBYphA8 X-IronPort-AV: E=Sophos;i="4.80,540,1344204000"; d="scan'208";a="175929603" Received: from mail-gg0-f182.google.com ([209.85.161.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Oct 2012 09:51:43 +0200 Received: by mail-gg0-f182.google.com with SMTP id k4so380718ggn.27 for ; Fri, 05 Oct 2012 00:51:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=oL08wVCbcbrueOce30TJiR+G3r7nhMod9U/4307G0v8=; b=lI5lO/9+z8ynA1MT66uWQCgf6ExaQubLhp5Kblg/5TX7h92rHo2/ReL+yReraUrZty 4047oDQxDu3nFNFS+nnjZaJKbTA11+so7GpnNyHAe0Jnn1ArqoxX9e5ewZIbAqlCDjLz Ah/ygdRAGnyH8hkCkBKx69x9609BTIJzRZNXP7z+juK5sVrayy4vzUH3dShXdZVfqrtt xn3oAfPH2DybvwZYhRbQjdYz613mfeKvY67zmrWLvqRF+gPk6CTUqUCrAp/yQ4QCu+Z8 J8VsUJFGhLjbpJbxedpjGJNSWpo/W6zhD4aAVRGmZhnoVIQdzWvVU7rn8U6I/87ga+UB YiAQ== Received: by 10.236.76.132 with SMTP id b4mr7529675yhe.106.1349423501937; Fri, 05 Oct 2012 00:51:41 -0700 (PDT) MIME-Version: 1.0 Received: by 10.236.60.234 with HTTP; Fri, 5 Oct 2012 00:51:21 -0700 (PDT) In-Reply-To: References: From: Pierre-Alexandre Voye Date: Fri, 5 Oct 2012 09:51:21 +0200 Message-ID: To: bob zhang Cc: Caml List Content-Type: multipart/alternative; boundary=20cf300facef7c0b9904cb4b2482 Subject: Re: [Caml-list] Polymorphic Variants for big Ast? --20cf300facef7c0b9904cb4b2482 Content-Type: text/plain; charset=UTF-8 You can take a look on Ocsigen project which implements a HTML5 AST. 2012/10/5 bob zhang > Dear List, > Has anyone have the experience using polymorphic variant for a big Ast? > The benefit I can think of is open recursion, global namespace(not in a > module). Did anyone give a try? > Many thanks > > -- > Regards > -- Bob > -- --------------------- https://twitter.com/#!/ontologiae/ http://linuxfr.org/users/montaigne --20cf300facef7c0b9904cb4b2482 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable You can take a look on Ocsigen project which implements a HTML5 AST.
2012/10/5 bob zhang <bobzhang1988@gmail.c= om>
Dear List,
=C2=A0 =C2=A0Has anyone have the experience using polymorphic variant for a= big Ast?=C2=A0
=C2=A0 The benefit I can think of = is =C2=A0open recursion, global namespace(not in a module). Did anyone give= a try?
Many thanks
=

--
Regards
-- Bob



--
---------= ------------
https://twitter.com/#!/ontologiae/
http://linuxfr.org/users/montaigne<= /a>

--20cf300facef7c0b9904cb4b2482--