Haskell从另一个等式求列表的长度

Question

所以我有一个等式，它返回一个给定int的列表。我想把它放到另一个等式中，看看长度是1还是2，如果长度是1，则返回True，如果长度不是，则返回False。

con :: Int -> [Int] -> Bool
con getList x
    | length x == 1 = True
    | otherwise     = False

这是我能得到的最接近的结果，但它抛出了错误

ERROR - Cannot find "show" function for:
*** Expression : con 3
*** Of type    : [Int] -> Bool

Answer 1

我同意另一种解释，即您可能只需要一个直接与列表一起工作的函数，但如果您打算将con的第一个参数作为Int类型的函数-

con :: (Int -> [Int]) -> Int -> Bool
con f = (== 1) . length . f

现在假设您有一个不同的函数，它从给定的Int生成一个Int列表。根据输入是偶数还是奇数，输出的长度可能不同：

getList :: Int -> [Int]
getList x
    | odd x = [x, x, x]
    | otherwise = [x]

然后我们可以使用con检查输出的长度是否为1：

con getList 3 -- Will be False
con getList 2 -- Will be True

Answer 2

该错误是由您的con类型导致的：

 Int -> [Int] -> Bool

这意味着它需要两个参数（分别为Int类型和Ints列表）来返回布尔值。

现在，表达式con 3只是将3应用于con（提供一个参数），返回一个函数，该函数接受Ints的列表并返回Bool。

此函数的类型为[Int]-

您似乎不需要getST，所以您可以使用：

con :: [a] -> Bool
con = (== 1) . length

现场演示

要使给定列表的函数返回布尔值，则：如果列表的长度为1，则返回值为True，否则返回值为False。

如果你只想通过列表的长度，那么事情就变得更简单了：

con :: Int -> Bool
con = (== 1)

现场演示