| ... | ... | @@ -15,5 +15,5 @@ |
|
|
|
|
|
|
|
- it is a concise, natural, and familiar notation for recursion over naturals
|
|
|
|
- it allows recursive functions over naturals to be defined using non-overlapping patterns
|
|
|
|
- it would make a lot more sense if we had a natural number type, and restricted `n+k` patterns appropriately
|
|
|
|
- it would make a lot more sense if we had [a natural number type](natural), and restricted `n+k` patterns appropriately
|
|
|
|
- some Haskell books use it (this was the main reason it was kept in Haskell 98) |
