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@porg.es> wrote:

From: George Pollard <porges@porg.es>
Subject: [Haskell-cafe] Re: A thought about liberating Haskell's syntax
To: "Haskell Café" <haskell-cafe@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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe