为什么我的Haskell函数不接受负数？

Question

我对Haskell相当新，但确实掌握了大部分的基础知识。但有一件事我只是无法弄清楚。考虑我的例子如下：

example :: Int -> Int 
example (n+1) = ..... 

这个例子的（n + 1）部分以某种方式阻止了负数的输入，但我无法理解如何。例如..如果输入是（-5），我希望n只是（-6），因为（-6 + 1）是（-5）。测试时输出如下：

Program error: pattern match failure: example (-5)

任何人都可以向我解释为什么这不接受负数？

Answer 1

这只是如何n+k patterns被定义为工作：

Matching an n+k pattern (where n is a variable and k is a positive integer literal) against a value v succeeds if x >= k, resulting in the binding of n to x - k, and fails otherwise.

的n + k中的图案的点是执行感应，因此需要用碱的情况下（K-1，或0来完成的示例在这种情况下），并决定一个小于这个参数的参数是否是错误的。就像这样：

example (n+1) = ... 
example 0 = ... 

，你基本上是要求将是相当无意义的和冗余的语义 - 你可以只说

example n = let n' = n-1 in ... 

来达到同样的效果。模式的要点有时会失败。