15

<|>Haskell は、Applicative でもある任意の型の演算子を効果的に提供する標準型クラス 'Alternative' を提供します。

私が理解しているように、Alternative は Applicative のモノイドと見なされますが、<|>演算子は Applicative Functor ではない多くの型でも完全に意味があるようであり、Applicative 型クラスに特定の依存関係がある必要はありません。正しく動作するようにします。

Alternative が Applicative のサブクラスである必要がある理由はありますか?もしそうなら、非適用型で同様の機能を定義する標準型クラスはありますか?

4

1 に答える 1