Changes between Version 2 and Version 3 of LanguageQualities


Ignore:
Timestamp:
Dec 6, 2005 12:39:24 AM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LanguageQualities

    v2 v3  
    66 
    77 * admits an efficient implementation. features that require large amounts of run-time support or non-trivial restrictions on the implementation method should be avoided. 
     8 
     9 * transformation safe. the language will not have features that cause common optimizations and transformations to become non-meaning-preserving. All lambda calculus transformations should apply. (this is broken by the MonomorphismRestriction (eta-reduction/expansion) and ImplicitParams (beta-reduction))