"Simon Peyton-Jones"
I do have a bunch of things on my TH to-do list. Pattern splices aren't at the top of it, in fact, but name-splicing -- the ability to splice a name in a binding position -- would be very useful. But there was so little reaction to my last few messages to this list that TH has slipped down my priority list. (Currently I'm busy with GADTs.) I'm not sure whether the quietness of the TH list is because (a) TH works so well that there's no need to say anything or (b) no one is using it.
I had a crazy idea to emulate hs-plugins' dynamic loading in a completely type-safe way by running an entire application in the TH compile loop. Well, maybe it can still generate code that fails type-checking, but at least you get to carry the type-checker around with you, and you don't have to worry about separate type tables from static and dynamic linking. But I could never figure out a good way to turn a source module into a template haskell structure... Also, some other people suggested that it might run very slowly. -- Shae Matijs Erisson - Programmer - http://www.ScannedInAvian.org/ "I will, as we say in rock 'n' roll, run until the wheels come off, because I love what I do." -- David Crosby