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