... | @@ -12,11 +12,9 @@ These are features which we might want to consider for removal or replacement wi |
... | @@ -12,11 +12,9 @@ These are features which we might want to consider for removal or replacement wi |
|
|
|
|
|
- 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.
|
|
- 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.
|
|
- are used in several safe programing idioms that would not be workroundable.
|
|
- are used in several safe programing idioms that would not be workroundable.
|
|
|
|
|
|
- the monomorphism restriction
|
|
- the monomorphism restriction
|
|
|
|
- classes (no really, there are people who advocate this!)
|
|
- classes (no really, there are people who advocate this!)
|
|
- the Prelude (or at least, seriously trim it to the minimum possible)
|
|
- the Prelude (or at least, seriously trim it to the minimum possible)
|
|
- defaulting
|
|
- defaulting
|
|
- class contexts on data definitions
|
|
- class contexts on data definitions
|
|
- record syntax |
|
- record syntax |
|
|