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 <[email protected]> wrote: From: George Pollard <[email protected]> Subject: [Haskell-cafe] Re: A thought about liberating Haskell's syntax To: "Haskell Café" <[email protected]> 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 [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
