... | @@ -17,12 +17,11 @@ These are features which we might want to consider for removal or replacement wi |
... | @@ -17,12 +17,11 @@ These are features which we might want to consider for removal or replacement wi |
|
- [NegativeSyntax](negative-syntax)
|
|
- [NegativeSyntax](negative-syntax)
|
|
- \~ patterns
|
|
- \~ patterns
|
|
|
|
|
|
- For removal: can be simulated with 'where' or 'let' clauses
|
|
- For removal: can be simulated with 'where' or 'let' clauses
|
|
- Against removal:
|
|
- 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.
|
|
|
|
- are used in several safe programing idioms that would not be workroundable.
|
|
|
|
|
|
|
|
|
|
- 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.
|
|
- class contexts on data definitions
|
|
- 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.
|
|
- For removal: they add no extra useful expressivity that is not already present in the function signatures which use the datatype.
|
... | | ... | |