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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to