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
> >[email protected]
> >http://www.haskell.org/mailman/listinfo/haskell-cafe
> >
>
> _______________________________________________
> 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
