Changes between Version 7 and Version 8 of RemovalCandidates

Show
Ignore:
Timestamp:
11/29/05 16:42:32 (7 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • RemovalCandidates

    v7 v8  
    22 
    33 * n + k patterns 
    4   * For removal: we have been saying it will happen for a while now, we should make good on it.   
     4  + For removal: we have been saying it will happen for a while now, we should make good on it.   
    55 * ~ patterns 
    6   * For removal: can be simulated with 'where' or 'let' clauses 
    7   * Against removal: fine control of strictness can require careful placement of these and let/where would obscure what is happening and get very verbose with nested ~ patterns 
     6  + For removal: can be simulated with 'where' or 'let' clauses 
     7  + Against removal: fine control of strictness can require careful placement of these and let/where would obscure what is happening and get very verbose with nested ~ patterns 
    88 * the monomorphism restriction 
    99 * classes  (no really, there are people who advocate this!)