On 31 January 2006 00:53, Neil Mitchell wrote:
Second, a warning about "loss of sharing" may befuddle beginners (who are usually not taught to write type signatures at the start).
Are standards documents the place for prescribing which warnings should be raised, and under what circumstances?
Not prescribing, no. It would be a recommendation. The Haskell 98 report already contains recommendations - see the section on pragmas, for example, and I'm sure there are more examples. Cheers, Simon
[I have subscribed to the list today, so my mailbox doesn't contain the post I should respond to (the one that started this thread). BTW, is there a way to tell mailman to send me all previous postings?] Concurrent Clean uses =: for "Constant Graph Definitions", which seem to be related. See Concurrent Clean V2.0 Language Report (Draft), section 3.6, Defining Constants. This is page 24 in: ftp://ftp.cs.kun.nl/pub/Clean/Clean20/doc/CleanRep2.0.pdf Best regards Tomasz -- I am searching for programmers who are good at least in (Haskell || ML) && (Linux || FreeBSD || math) for work in Warsaw, Poland
participants (2)
-
Simon Marlow -
Tomasz Zielonka