... | ... | @@ -5,6 +5,13 @@ These are features which we might want to consider for removal or replacement wi |
|
|
- n + k patterns
|
|
|
|
|
|
- For removal: we have been saying it will happen for a while now, we should make good on it.
|
|
|
- k patterns, that is, numeric literals
|
|
|
|
|
|
- For removal: Overloaded numeric patterns mean there is hidden computation going on during LHS matching.
|
|
|
Nine times out of ten, what is really wanted is Natural numbers, not Integers (and definitely never Floats!).
|
|
|
This language feature also makes the implementation of code-transformation tools more tricky and less regular.
|
|
|
- Against removal: Everyone uses them. Lots of legacy code. Expressing recursion over numbers is more verbose
|
|
|
without these patterns.
|
|
|
- [NegativeSyntax](negative-syntax)
|
|
|
- \~ patterns
|
|
|
|
... | ... | |