Changes between Version 6 and Version 7 of RemovalCandidates


Ignore:
Timestamp:
Nov 30, 2005 12:42:16 AM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RemovalCandidates

    v6 v7  
    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!)