eine Funktion gelten nur, wenn isjust

Question

ich für eine idiomatische Weise tun

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

Oder mit anderen Worten

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

Ich dachte, freue ich es auf diese Weise könnte:

moveMaybeCreature c w = foldr moveCreature w (maybeToList c) 

Kann ich es ohne Maybe Creature zu [Creature] konvertieren?

Answer 1

Sie können dies tun, solange der Typ world und moveCreature (fromJust c) world gleich sind. Sie können maybe von Data.Maybe verwenden.

Ihre erste Art zu tun, wo Sie Muster übereinstimmen, sollte auch gut funktionieren.

Answer 2

Ich zweite die Empfehlung, die maybe Funktion zu verwenden. Sie haben diese Frage aufgrund dieser allgemeinen Faustregel richtig gestellt (nicht nur für Sie, sondern auch für Neulinge, die es lesen): Funktionen mit direkt definierten Typen wie Maybe Foo -> Bar oder Maybe Foo -> Maybe Bar sind code smell in Haskell. Sie möchten fast nie eine Funktion schreiben, die Maybe Foo als ein Argument nimmt; Sie möchten eine Funktion, die nur Foo verwendet, und eine höherwertige Funktion verwenden, um sie an Maybe Foo anzupassen.

Angenommen, Sie haben eine Funktion f' :: Maybe Foo -> Maybe Bar. Dies kann in der Regel entweder in Refactoring:

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

Erster Fall funktioniert, weil dies die Functor Instanz für Maybe:

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

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

Zweiter Fall funktioniert, weil das ist die Monad Instanz für Maybe:

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

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

Answer 3

Hier ist noch ein Opt Ion, näher an Ihrem ursprünglichen Code: