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