在 Haskell 中执行 while 循环

Question

我有一个函数：

isItSimple :: Int -> Bool

它获取 Int 并返回 Bool。

我需要在 [x | 中找到第一个数字x <- [n..], isItSimple x]。

这是我的解决方案：

findIt :: Int -> Int
findIt num
       | isItSimple num = num
       | otherwise = findIt (num + 1)

Haskell 有更好的解决方案吗？

Answer 1

我需要在 [x | 中找到第一个数字x <- [n..], isItSimple x].

怎么样，就像你说的那样吧。

findIt n = head [ x | x <- [n..], isItSimple x ]

Answer 2

虽然其他答案有效，但它们可以说不是在 Haskell 中解决这个问题的最惯用的方法。您实际上并不需要任何额外的导入：Prelude 中的几个函数就可以解决问题。

我首先创建一个包含所有大于或等于 n 的简单数字的列表。函数 filter :: (a -> Bool) -> [一]-> [a] 使这变得简单：

filter isItSimple [n..]

就像 [n..] 这是一个无限列表，但这不是问题，因为 Haskell 很懒，在需要时不会评估任何内容。

为了得到你想要的，你可以只获取这个无限列表的头部：

findIt :: Int -> Int
findIt n = head $ filter isItSimple [n..]

有些人不喜欢 head 因为它是一个部分函数，​​并且当给它一个空列表时会引发异常。我个人不会在这里担心这一点，因为我们知道它永远不会在空列表上被调用。与 fromJust 相比，它让我不那么不舒服，它也是一个部分函数（当给出 Nothing 时它会引发异常），在我看来这始终是一个坏主意。

（说到个人品味，我会这样写：

findIt = head . filter isItSimple . enumFrom

这是一个 pointfree 风格的示例，可以得到在我看来，这很复杂，但在这种情况下非常优雅。）

Answer 3

在大多数情况下，特别是当您的问题是已解决问题的特定情况时，显式递归是不好的。不使用显式递归的问题的可能解决方案之一是：

import Data.List (find)
import Data.Maybe (fromJust)

findIt :: Int -> Int
findIt n = fromJust $ find isItSimple [n..]

Answer 4

findIt :: Int -> Int
findIt num = head $ dropWhile (not isItSimple) [num..]

我不知道是否会更好。我刚刚想到了这一点。

Answer 5

另一种方法是使用最小定点组合器（在 Data.Function 中修复）

findIt = fix (\f x ->  if isItSimple x then x else f (x + 1))

在这种情况下，它看起来有点过度设计，但如果“搜索空间”遵循比 x + 1 更复杂的规则code> 这种技术非常有用。