Hello, On Thu, Aug 9, 2012 at 1:52 PM, Tillmann Rendel < ren...@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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
