[Haskell-cafe] Re: A thought about liberating Haskell's syntax

Gregory Propf gregorypropf at yahoo.com
Wed Sep 16 21:30:36 EDT 2009

I just rejoined the list and am a bit new to things here anyway but this sounds a lot Lisp's old macro system a little. I'm guessing you're not proposing runtime execution of runtime generated code though.  I don't know much about Lisp internals but I suspect Lisp runtimes are quite different from any in Haskell.  Which leads to my real question - is there any talk of runtime compilation and execution capability in any of the extension proposals?  Or would that crap all over Haskell's reputation for reliable execution?

--- On Wed, 9/16/09, George Pollard <porges at porg.es> wrote:

From: George Pollard <porges at porg.es>
Subject: [Haskell-cafe] Re: A thought about liberating Haskell's syntax
To: "Haskell Café" <haskell-cafe at haskell.org>
Date: Wednesday, September 16, 2009, 5:44 AM

Also (sorry for the triple-post!) I noticed that in the TH
documentation, it says:

    Type splices are not implemented, and neither are pattern splices

This means, while we could write a preprocessor that would give us, e.g.:

    x :: Set Int
    x = {1,2,3,4}

We cannot splice in the right places to allow:

    x :: {Int}
    x = {1,2,3,4}

    isSetEmpty :: {a} → Bool
    isSetEmpty {} = True
    isSetEmpty _ = False
Haskell-Cafe mailing list
Haskell-Cafe at haskell.org

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090916/b9df6330/attachment.html

More information about the Haskell-Cafe mailing list