[Haskell-cafe] 3 level hierarchy of Haskell objects
tanielsen at gmail.com
Thu Aug 9 15:03:53 CEST 2012
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe