[Haskell] Re: Re: RE: Extensible records: Static duck typing

Andrzej Jaworski himself at poczta.nom.pl
Fri Feb 22 05:42:52 EST 2008

Johannes Waldmann <waldmann at imn.htwk-leipzig.de> has asked me to clarify my claims here.

But I say: why not to ask Chris Okasaki himself?
Manuel Chakravarty has recently published this: http://www.cse.unsw.edu.au/~chak/papers/WC07.html so he might take the question

>From my perspective there are too many language extension proposals like Generic Haskell addressing deriving extensions, Named
Instances (http://www.cs.uni-bonn.de/~ralf/hw2001/4.pdf ) and many other I do not care to remember. To my mathematical mind
Functor should be made a superclass of Monad before any such extensions were considered. This however costs almost a Ferrari :-)
Exactly a Porsche: http://research.microsoft.com/~simonpj/papers/haskell-retrospective/HaskellRetrospective.pdf  pages 62 - 64.

-Andrzej Jaworski

More information about the Haskell mailing list