... | ... | @@ -2,12 +2,10 @@ |
|
|
These are features which we might want to consider for removal or replacement with something better/cleaner.
|
|
|
|
|
|
- n + k patterns
|
|
|
|
|
|
- For removal: we have been saying it will happen for a while now, we should make good on it.
|
|
|
+ For removal: we have been saying it will happen for a while now, we should make good on it.
|
|
|
- \~ patterns
|
|
|
|
|
|
- For removal: can be simulated with 'where' or 'let' clauses
|
|
|
- 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
|
|
|
+ For removal: can be simulated with 'where' or 'let' clauses
|
|
|
+ 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
|
|
|
- the monomorphism restriction
|
|
|
- classes (no really, there are people who advocate this!)
|
|
|
- the Prelude (or at least, seriously trim it to the minimum possible)
|
... | ... | |