Changes between Version 4 and Version 5 of LanguageQualities


Ignore:
Timestamp:
Dec 6, 2005 12:54:06 AM (8 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LanguageQualities

    v4 v5  
    88 
    99 * 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)) 
     10 
     11 * To modify a phrase a bit "It should make easy things unneccesary and difficult things easy."