[Haskell-cafe] Re: Announcing Djinn, version 2004-12-11, a coding wizard

[Donald Bruce Stewart]

Or some TH...

    $(djinn [t| a -> a |]) 
    
or something like it.

lennart:
> I've certainly thought of providing the functionality
> you want, but I've not done that yet.
> Internally djinn uses some kind of ASTs, it might be possible
> to use GADTs to do what you want in a type safe way.  If not
> it should be possible to use Dynamic.
> 
> 	-- Lennart
> 
> 
> 
> Stefan Monnier wrote:
> >>I've written a small program that takes a (Haskell) type
> >>and gives you back a function of that type if one exists.
> >>It's kind of fun, so I thought I'd share it.
> >
> >
> >Doh!  It seems your code takes a string representing the type and returns
> >a string representing the code, whereas I expected at first you were doing
> >some funky type class molestation so you can use "djinn" in your code and
> >let Haskell fill it in.
> >
> >
> >        Stefan
> >
> >_______________________________________________
> >Haskell-Cafe mailing list
> >Haskell-Cafe at haskell.org
> >http://www.haskell.org/mailman/listinfo/haskell-cafe
> >
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe