<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">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.&nbsp; I don't know much about Lisp internals but I suspect Lisp runtimes are quite different from any in Haskell.&nbsp; Which leads to my real question - is there any talk of runtime compilation and execution capability in any of the extension proposals?&nbsp; Or would that crap all over Haskell's reputation for reliable execution?<br><br>--- On <b>Wed, 9/16/09, George Pollard <i>&lt;porges@porg.es&gt;</i></b> wrote:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>From: George Pollard &lt;porges@porg.es&gt;<br>Subject: [Haskell-cafe] Re: A thought about liberating Haskell's syntax<br>To: "Haskell Café"
 &lt;haskell-cafe@haskell.org&gt;<br>Date: Wednesday, September 16, 2009, 5:44 AM<br><br><div class="plainMail">Also (sorry for the triple-post!) I noticed that in the TH<br>documentation, it says:<br><br>&nbsp; &nbsp; Type splices are not implemented, and neither are pattern splices<br><br>This means, while we could write a preprocessor that would give us, e.g.:<br><br>&nbsp; &nbsp; x :: Set Int<br>&nbsp; &nbsp; x = {1,2,3,4}<br><br>We cannot splice in the right places to allow:<br><br>&nbsp; &nbsp; x :: {Int}<br>&nbsp; &nbsp; x = {1,2,3,4}<br><br>&nbsp; &nbsp; isSetEmpty :: {a} → Bool<br>&nbsp; &nbsp; isSetEmpty {} = True<br>&nbsp; &nbsp; isSetEmpty _ = False<br>_______________________________________________<br>Haskell-Cafe mailing list<br><a ymailto="mailto:Haskell-Cafe@haskell.org" href="/mc/compose?to=Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe"
 target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br></div></blockquote></td></tr></table><br>