... | @@ -14,6 +14,9 @@ These are features which we might want to consider for removal or replacement wi |
... | @@ -14,6 +14,9 @@ These are features which we might want to consider for removal or replacement wi |
|
- 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)
|
|
- class contexts on data definitions
|
|
|
|
|
|
|
|
- For removal: they add no extra useful expressivity that is not already present in the function signatures which use the datatype.
|
|
|
|
- the Prelude (or at least, seriously [trim it to the minimum possible](prelude))
|
|
- [Defaulting](defaulting)
|
|
- [Defaulting](defaulting)
|
|
- record syntax |
|
- record syntax (see also [ExistingRecords](existing-records)) |