20 Jul
2001
20 Jul
'01
3:35 p.m.
| I suggest to include an appropriate hint in the report... | | > In this subsection, we provide informal details of the | type system. > (Wadler and Blott [11] and Jones [6] discuss | type and constructor classes, > respectively, in more detail.) | | I think this kind of outsourcing of essential parts of the | language definition is not desirable. The Report's description of the type system is not a proper specification. That is a flaw, but it is not one I can fix for the Revised H98 Report. If, however, you can suggest some specific sentences that would help to eliminate confusion, then please do suggest them. Incidentally, Karl-Filip Faxen is working on a formal static semantics for Haskell. Simon