Hello,<br><br><div class="gmail_quote">On Thu, Aug 9, 2012 at 1:52 PM, Tillmann Rendel <span dir="ltr"><<a href="mailto:rendel@informatik.uni-marburg.de" target="_blank">rendel@informatik.uni-marburg.de</a>></span> wrote:<br>
<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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:<br>
</blockquote><div> <br></div></div>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. <br>
<br>Perhaps in Haskell we could have a lightweight Quasi-quoting/Template Haskell library for adding laws to class definitions?<br><br>Tom<br>