僅在isJust時應用函數

Question

我正在尋找一種慣用的方式

moveMaybeCreature Nothing world = world
moveMaybeCreature (Just creature) world = moveCreature creature world

或者換句話說

if isJust c
    then doSomething (fromJust c) w
    else w

我以為我可以這樣做：

moveMaybeCreature c w = foldr moveCreature w (maybeToList c)

我可以在不必將Maybe Creature轉換為[Creature]嗎？

Answer 1

只要world類型和moveCreature (fromJust c) world相同，你就可以做到這一點。 您可以使用maybe從Data.Maybe 。

 moveMaybeCreature = maybe id moveCreature

你模式匹配的第一種方式應該也可以正常工作。

Answer 2

我推薦使用maybe函數。 你提出這個問題是正確的，因為這個一般的經驗法則（不僅適合你，而且適合任何新人閱讀）：類似Maybe Foo -> Bar或Maybe Foo -> Maybe Bar的函數是直接定義的Haskell中的代碼味道 。 你幾乎從不想寫一個以Maybe Foo為參數的函數; 你想要一個只需要Foo的函數，並使用一個更高階的函數來使它適應Maybe Foo 。

假設你有一個函數f' :: Maybe Foo -> Maybe Bar 。 這通常可以重構為：

1. f :: Foo -> Bar和fmap f :: Maybe Foo -> Maybe Bar ;
2. f :: Foo -> Maybe Bar和(>>=f) :: Maybe Foo -> Maybe Bar

第一種情況有效，因為這是Maybe的Functor實例：

instance Functor Maybe where
    fmap f Nothing = Nothing
    fmap f (Just x) = Just (f x)

-- or this:
--     fmap f = maybe Nothing (Just . f)

第二種情況有效，因為這是Maybe的Monad實例：

instance Monad Maybe where
    return = Just
    Nothing >>= f = Nothing
    (Just x) >>= f = f x

-- or this:
--     mx >>= f = maybe Nothing f mx

Answer 3

這是另一個選項，更接近原始代碼：

import qualified Data.Foldable as F

moveMaybeCreature = flip (F.foldr moveCreature)