haskell - 这个 Haskell Data.Maybe 函数有什么作用？

Question

我想问你是否知道这个函数是做什么的:

hasUnassigned :: [Int] -> Bool
hasUnassigned board = isJust $ elemIndex 0 board

我在网上找到了这个功能，我打算用它来帮助绘制数独游戏解决方案。

请你能向我解释它是如何工作的吗？

Answer 1

elemIndex 在第二个参数中搜索第一个参数，这是一个列表。如果找到元素，则返回 Maybe Int - Just 索引，否则返回 Nothing。

如果 isJust 值是 Maybe ，则 Just 返回 true ，如果它是 Nothing ，则返回 false 。

换句话说，这是一种非常笨拙的测试 board 是否包含 0 的方法。更好的方法是

hasUnassigned board = 0 `elem` board