9 Aug
2012
9 Aug
'12
9:03 a.m.
Hello, On Thu, Aug 9, 2012 at 1:52 PM, Tillmann Rendel < rendel@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