[Haskell-cafe] Re: Announcing Djinn, version 2004-12-11,
a coding wizard
Donald Bruce Stewart
dons at cse.unsw.edu.au
Thu Dec 15 02:22:37 EST 2005
Or some TH...
$(djinn [t| a -> a |])
or something like it.
> 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
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe