機能

Question

可能性の重複：
Haskell: some and many
Haskell - What is Control.Applicative.Alternative good for?

Alternative型クラス内の関数someとmanyはのために有用何ですか？ Docsは私が理解できなかった再帰的な定義を提供します。

Answer 1

someとmanyは、次のように定義することができます"回、結果をconsesします。 many fはf "some"回実行されます。または、「代替」は空のリストを返します。考え方は、彼らが両方とも "失敗"するまで、できるだけ頻繁にfを実行し、結果をリストに集めることです。違いはsome fはfがすぐに失敗すると失敗し、many fは成功し、空のリストを「返す」ということです。しかし、これはすべて正確にどのように<|>が定義されているかによって決まります。

解析するだけに便利ですか？ベースにあるインスタンスの動作を見てみましょう：Maybe、[]、STM

最初Maybe。 Nothingは失敗を意味するので、some Nothingも失敗し、Nothingと評価され、many Nothingが成功し、Just []と評価されます。 Just()は決して失敗しないので、some (Just())とmany (Just())は返されません！ある意味では、彼らはJust (repeat())と評価します。リストでは

、[]は失敗を意味し、そうmany []は[[]]に評価しながら、some []が[]（無回答）と評価された（そこに答えは一つだし、空のリストです）。再度some [()]とmany [()]は返されません。インスタンスを展開すると、some [()]はfmap (():) (many [()])となり、many [()]はsome [()] ++ [[]]を意味するので、many [()]はtails (repeat())と同じです。

STMの場合、失敗は、トランザクションを再試行する必要があることを意味します。そのため、many retryは単に空のリストを返しますが、some retryはそれ自体を再試行します。 some fとmany fは、再試行するまで、fを繰り返し実行します。私はこれが有用なものかどうかは分かりませんが、私はそれがないと推測しています。

ので、Maybe、[]とSTMmanyとsomeのためにその有用であるとは思えません。これは、申請者が同じことを何度も繰り返し実行しているときに、障害を起こす可能性がある種の状態がある場合にのみ有用です。パーサーの場合、これは成功したすべての一致で縮小している入力です。

Answer 2

など。 parsing（「適用例による解析」セクションを参照）。

some f = do 
    x <- f 
    xs <- many f 
    return (x:xs) 

のでsome f実行一度f、その後、「多く：おそらくそれはsomeはモナドdo構文で記述されたことになるかを確認するのに役立ちます

some f = (:) <$> f <*> many f 
many f = some f <|> pure [] 

：