为何自定义的Haskell index函数无法运行？求技术解答

你的第一个版本代码无法运行，核心有两个问题：

• 递归调用时遗漏了目标参数n：Haskell函数调用必须传全所有参数，你写的1+index' x只传了列表参数，没传要查找的n，编译器会因为参数数量不匹配报错。
• 未处理空列表的边界情况：如果目标元素不在列表中，递归到最后列表为空时，没有对应的模式匹配，会触发运行时异常。

第二个版本能运行，是因为你把目标值硬编码成了3，递归时不需要额外传递参数，且测试列表刚好包含3，没触发空列表的错误，但这个版本只能查找3的索引，完全不具备通用性。

修正后的基础版本 #

index' :: Eq a => a -> [a] -> Int
-- 处理元素不存在的情况，直接抛出错误
index' _ [] = error "Element not present in the list"
index' n (s:x) 
    | s /= n    = 1 + index' n x  -- 递归时必须传递目标参数n
    | otherwise = 0

main = print (index' 3 [1,2,3,5,6,7,9])  -- 输出2，索引从0开始计数

更安全的版本（推荐） #

在Haskell中，直接抛出错误不是最佳实践，更推荐用Maybe类型处理不存在的情况：

indexSafe :: Eq a => a -> [a] -> Maybe Int
indexSafe _ [] = Nothing  -- 元素不存在时返回Nothing
indexSafe n (s:x)
    | s /= n    = (+1) <$> indexSafe n x  -- 用fmap处理递归返回的Maybe值
    | otherwise = Just 0

main = print (indexSafe 3 [1,2,3,5,6,7,9])  -- 输出Just 2
main = print (indexSafe 4 [1,2,3,5,6,7,9])  -- 输出Nothing

内容的提问来源于stack exchange，提问作者yang l