[Haskell-cafe] 3 level hierarchy of Haskell objects

[Tom Nielsen]

Hello,

On Thu, Aug 9, 2012 at 1:52 PM, Tillmann Rendel <
rendel at informatik.uni-marburg.de> wrote:

Note that many type classes in Haskell have equations annotated as
> comments. For example, the monad laws are mentioned in the documentation of
> the Monad type class:
>

One of the reasons why I chose Haskell over Scheme about 4 years ago was
that in the PLT Scheme (now Racket) libraries, type annotation were given
in the comments. I thought: maybe those things are in fact useful.

Perhaps in Haskell we could have a lightweight Quasi-quoting/Template
Haskell library for adding laws to class definitions?

Tom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120809/ec4dc2d4/attachment.htm>