Haskell：在Maybe名單上

Question

Maybe n的無限列表，從特定位置開始，只有Nothing項：

someNumbers :: [Maybe Int]
someNumbers = [Just 4, Just 3, Just 2, Just 1] ++ cycle [Nothing]

我想計算n的謂詞p ，從第一個Nothing停止：

howMany :: (Int -> Bool) -> [Maybe Int] -> Int

這是我想出的，具有明確的遞歸：

howMany p ((Just n):rest)
| p n = 1 + (howMany p rest)
| otherwise = 0
howMany _ _ = 0

我想知道是否有更好的方式來表達這一點，從而利用高級的Haskell抽象。

Answer 1

以下將工作。

import Data.Maybe (isJust, maybe)
howMany p = length . filter (maybe False p) . takeWhile isJust

或者，您也可以使用fromJust代替maybe 。 通常不建議使用fromJust類的部分函數，​​但是在這種情況下是安全的。

import Data.Maybe (isJust, fromJust)
howMany p = length . filter (p . fromJust) . takeWhile isJust