
12 Dec
2006
12 Dec
'06
6:27 a.m.
Hello J., Monday, December 11, 2006, 10:20:17 PM, you wrote:
Haskell implementations of the transformers in Espinosa's paper are discussed in Mark Jones's 1995 paper Functional Programming with Overloading and Higher-Order Polymorphism, and are available with the mtl package that is (I believe) usable with all the major Haskell compilers and distributed with at least ghc and hugs. (I've never used yhc or jhc, so I don't know what libraries they distribute.)
afair, mtl uses multi-parameter type classes which is supportred only by ghc/hugs at now -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com