Changes between Version 8 and Version 9 of LanguageQualities


Ignore:
Timestamp:
Apr 1, 2008 9:48:25 PM (6 years ago)
Author:
simonmar@…
Comment:

add evaluation-order independence

Legend:

Unmodified
Added
Removed
Modified
  • LanguageQualities

    v8 v9  
    44 
    55 * import-safe - importing a new module can never silently change the behavior of a program, but it may cause a compile-time error. two programs that are identical except one has a superset of the imports of the other will either behave identically or at least one will fail to compile. (e.g. OverlappingInstances breaks this) 
     6 
     7 * independent of the evaluation order.  The report does not specify nor require lazy evaluation as an evaluation strategy, it only specifies a non-strict semantics. 
    68 
    79 * admits an efficient implementation. features that require large amounts of run-time support or non-trivial restrictions on the implementation method should be avoided. (this is a tradeoff and the design space of haskell implementations has not fully been explored so we should be conservative when we can)