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

Lennart Augustsson lennart at augustsson.net
Thu Dec 15 02:11:08 EST 2005

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

More information about the Haskell-Cafe mailing list