Changes between Version 8 and Version 9 of LanguageQualities

Show
Ignore:
Timestamp:
04/01/08 14:48:25 (5 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)