haskell - 为什么这个函数中有一个非穷举模式？

Question

在此脚本中，

permutations :: Integer -> Integer -> Integer
permutations x y
            | x==x-(y-1)     = x
            | (x>0) && (y>0) = permutations (x-1) y * x

我想知道为什么函数排列中有非穷举模式。

请帮助我。

非常感谢您的提前!

Answer 1

您尚未指定处理一个或两个参数为负数的情况的逻辑是什么。然而，您的函数很乐意允许将负参数传递给它，这就是您收到错误的原因。要解决此问题，您可以添加一个包罗万象的 otherwise语句末尾包含所需的错误处理逻辑，如下所示:

permutations :: Integer -> Integer -> Integer
permutations x y
        | y == 1 || x == y = x
        | (x>0) && (y>0) = permutations (x-1) y * x
        | otherwise = error "invalid input"

请注意，我在第一种情况下添加了一个条件 - 您不应该能够计算排列 x < y ，所以基本情况应该是 y = 1或x == y .

Demo

确实给出正确答案的替代解决方案如下:

import Data.List(foldl')

permutations :: Integer -> Integer -> Integer
permutations x y = if any (<=0) [x,y] then 0 else foldl' (*) 1 [x+1-y..x]