From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1F6D47EE80 for ; Tue, 26 Mar 2013 03:57:50 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of krismicinski@gmail.com) identity=pra; client-ip=209.85.219.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of krismicinski@gmail.com designates 209.85.219.53 as permitted sender) identity=mailfrom; client-ip=209.85.219.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oa0-f53.google.com) identity=helo; client-ip=209.85.219.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="postmaster@mail-oa0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArUCAP0NUVHRVds1lGdsb2JhbABDsXqSCYEBCBYOAQEBAQcLCwkSIweCHwEBBUABGxIMAwwGBQsNDSEiAREBBQEKEgYTEodvAQMPDKNqjDKCe4RLChknAwpZiHwBBQyPE2OCXQOWZ4EfjgMWKYQgKSA X-IPAS-Result: ArUCAP0NUVHRVds1lGdsb2JhbABDsXqSCYEBCBYOAQEBAQcLCwkSIweCHwEBBUABGxIMAwwGBQsNDSEiAREBBQEKEgYTEodvAQMPDKNqjDKCe4RLChknAwpZiHwBBQyPE2OCXQOWZ4EfjgMWKYQgKSA X-IronPort-AV: E=Sophos;i="4.84,909,1355094000"; d="scan'208";a="9285899" Received: from mail-oa0-f53.google.com ([209.85.219.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Mar 2013 03:57:49 +0100 Received: by mail-oa0-f53.google.com with SMTP id m17so5823040oag.12 for ; Mon, 25 Mar 2013 19:57:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:content-type; bh=kbWAbHHd3yOcOQPd1laKzo644rjv2e2u0VcWnWb5mVg=; b=KxfzRO9cgIuOu9A3KhWzUsY5Yybr3nFIT65xzHmCJgbYV1HTTYmTzFDigWHn5FSESA EyYGo3CXDRXTA3pfDh4q90kg+Yom7ty0Gt8oTHZ/ESjYC/7NKyiFtRU0xmbktw+Cwj85 aQJlvzkgudOvZy5IpaPZlJAzVePxJvLxlVFurB0bnsDBkYNXd8O2LdMmqDmE4dRfzNGt DV0D3zmoZnEXagqWB/jsvAQhck5sD9tRjzVFGuW83LNyfsJ1bzQ9vgty1onM6zuzWF5s UCpibjaQgx3n8cHphstDuSy70a1WSM/F7sA9pbKZaS1sUDjSXazpYi9vD4Yq/VDAeUEw ojqw== MIME-Version: 1.0 X-Received: by 10.182.118.1 with SMTP id ki1mr1473011obb.2.1364266668329; Mon, 25 Mar 2013 19:57:48 -0700 (PDT) Received: by 10.182.37.70 with HTTP; Mon, 25 Mar 2013 19:57:48 -0700 (PDT) In-Reply-To: <20130326133703.6b092cded9e0a8d3c71fd5b7@mega-nerd.com> References: <86572c5b-3307-4f6f-be0b-c710b6291780@googlegroups.com> <20130326133703.6b092cded9e0a8d3c71fd5b7@mega-nerd.com> Date: Mon, 25 Mar 2013 22:57:48 -0400 Message-ID: From: Kristopher Micinski To: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Haskell vs OCaml I agree, but I've found templates in TH to be a bit sticky since they lack a lot of semantic support. Maybe it's just an aversion to quasiquoters from examples I've seen. Although I do understand that within Yesod TH does have quite a bit of success. I guess my only real point was extrapolating from examples of people I know that use camlp4 for language extensions (within a research context) and not TH. I haven't ruminated as to whether TH would suffice for individual instances (probably so, and the people I know simply prefer OCaml..). In any case the newer versions of OCaml actually export the compiler, which makes some other language analysis-y things slightly easier from an API standpoint. Kris On Mon, Mar 25, 2013 at 10:37 PM, Erik de Castro Lopo wrote: > Kristopher Micinski wrote: > >> Although I haven't personally used it, Camlp4 is nice (and used by >> research) for implementing language extensions. I'm not sure that GHC >> is quite as hackable / extensible, but maybe that's just because I'm >> uninformed about Haskell :-).. > > I suspect that Template Haskell is probably very near to Camlp4 in > terms of capabilities. Its also relatively widely used, for instance > in the Yesod web framework. > > Erik > -- > ---------------------------------------------------------------------- > Erik de Castro Lopo > http://www.mega-nerd.com/ > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs