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

[Tomasz Zielonka]

On Thu, Dec 15, 2005 at 01:47:55AM -0500, 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.

That would be nice, imagine:

    instance Monad MyMonad where
        return = djinn
        (>>=) = djinn

or even

    newtype MyMonad a = ...
        djinning (Monad, Functor)

;->

Best regards
Tomasz

-- 
I am searching for a programmer who is good at least in some of
[Haskell, ML, C++, Linux, FreeBSD, math] for work in Warsaw, Poland