... | ... | @@ -14,6 +14,7 @@ These are features which we might want to consider for removal or replacement wi |
|
|
and less regular.
|
|
|
- Against removal: Everyone uses them. Lots of legacy code. Expressing recursion over numbers is more verbose
|
|
|
without these patterns.
|
|
|
- (JL). Recommend making these monomophic. Either (a) always Integer (or Natural if it gets added), or (b) subject to monomorhism restriction and defaulting.
|
|
|
- [NegativeSyntax](negative-syntax)
|
|
|
- \~ patterns
|
|
|
|
... | ... | |