Haskell - 请帮我简化这两个函数

Question

我正在尝试完成 Write Yourself a Scheme in 48 Hours 中的练习.我需要帮助来简化几个功能。

data LispVal = Number Integer
             | String String
             | Bool Bool

isNumber :: [LispVal] -> LispVal
isNumber []               = Bool False 
isNumber [(Number _)]     = Bool True
isNumber ((Number _):xs)  = isNumber xs
isNumber _                = Bool False

isString :: [LispVal] -> LispVal
isString []               = Bool False 
isString [(String _)]     = Bool True
isString ((String _):xs)  = isString xs
isString _                = Bool False

isNumber和 isString函数有很多共同的结构。我如何去分解出这个共同的结构？

Answer 1

虽然您不能参数化模式匹配本身，但您可以编写自己的小辅助函数，这样您至少不必为每个函数重复列表处理:

isString (String _) = True
isString _ = False

isNumber (Number _) = True
isNumber _ = False

all1 _ [] = False
all1 f xs = all f xs

isListOfStrings = Bool . all1 isString
isListOfNumbers = Bool . all1 isNumber

在我看来，空列表的特殊情况处理在这里不一致。你应该考虑只使用 all相反(这样空列表可以是任何类型的列表，类似于 Haskell 列表的工作方式)。