`guard`は` Alternative`に基づいているのはなぜですか？

Question

なぜguardに基づいてAlternative？

guard :: Alternative f => Bool -> f() 
-- guard b is pure() if b is True, 
-- and empty if b is False. 

guardのみAlternativeからemptyを使用していますので、私は尋ねます。 <|>をAlternativeからまったく使用していません。だからなぜ最初にAlternativeを使用して気にしていますか？

私たちは（Trueに引き続き、Falseに停止）guardを達成しようとしているものと完全に一致するAlternativeさんemptyの背後にあるいくつかの暗黙の考え方があるので、これはあると思います。このような場合は、この無言のアイデアについて私に教えてください。

同時に、私たちがちょうど無視していると感じたら、<|>。それはほぼがすべてについて約guardが「完全にキャプチャしていない」ように感じます。私はそれが理にかなったことを願うもっと具体的にするには：Stoppable（またはAbortable）のような別のタイプのクラスを作成して、なぜそれをAlternativeの代わりに使用しなかったのですか？

Answer 1

TL; DR：歴史的な理由。これはの亜種Alternativeになりました。AlternativeをAZeroとAChoiceまたはそれに類するものに分割することを提案していない人はMonadPlusでこのように考えられました。

---

AlternativeだけApplicativeのように、比較的新しいアイデアです。 guardが最初に構想されたときには、それは、Monadに基づいていました。これは、選択と失敗をサポートする必要があります。Alternativeと同じです。その元の型は、このようにMonadPlusが既に指摘されたHaskellの98のレポートで指定された

guard :: MonadPlus m => Bool -> m() 

ました。ハスケル1.0は、まったくモナドを使用しませんでした。 Applicativeが最終的にMonadのスーパークラスを得たとき、AlternativeはMonadPlusのスーパークラスとなり、mzero = emptyとmplus = (<|>)のスーパークラスを得ました。

なぜ、guardがAlternativeを使用する理由がわかりました。あらかじめMonadPlusに基づいていたので。では、なぜMonadPlusがこのように定義されていますか？

わずか1年後、Erik Meijer and Graham Hutton wrote their "Monadic Parsing in Haskell"紙のため、SPJや委員会の他の誰かから、1998年の理由を説明するためにメールを書く必要がありました。

class Monad m => MonadZero m where 
    zero :: m a 

class MonadZero m => MonadPlus m where 
    (++) :: m a -> m a -> m a 

だから、それはあなたがしました。この「停止可能」な方法を処理するために、確かに可能です：あなたは紙を見てみると、あなたが意図するようそのMonadPlusだけで動作することがわかりますそれを説明した。ただし、現在のところemptyを定義しているbaseクラスはありません。Alternativeはありません。 1つはあるかもしれないが、まだ提案されていない。

これはHaskellクラスを使用した定期的なテーマです。 Monoidは、mappendおよびmemptyを含む。その受胎後、ある人は、mappendが意味を持つが、memptyではない特定のタイプがあることに気づいた。空Minは我々だけOrdを使用している場合、我々はBoundedを使用しなければならないことは不可能であるのに対し、例えば、ここで

newtype Min a = Min a 

combine :: Ord a => Min a -> Min a -> Min a 
combine (Min x) (Min y) = Min (min x y) 

について、mappend = combineは、明確に連想です。だから今はSemigroupがあります。これはまだMonoidの基本クラスではありませんが、それは連想操作です。戻ってあなたの元の質問に来て

：guardはAlternativeがemptyを提供するので、Alternativeを使用し、empty特定Alternative年代の評価「が停止し」。それ以外のクラスはありません。まだです。

しかし、提案では、私は分けることに関するコミュニティの意見は何か分かりませんが、ある時点であるかもしれません。Alternativeです。ところで

は、彼らが他の方法でラウンドそれを分割するものの、PureScriptのような言語はAlternative詳細については...、

をAlternativeを分割し、私は別の例としてMonoidを使用する理由、Confused by the meaning of the 'Alternative' type class and its relationship to other type classesを参照してください。