scala - Apply 型クラスと Applicative 型クラスを分離する必要があるのはなぜですか?

Question

型クラスApplyとApplicative. _ Applicativeライブラリが、拡張Functorして追加する1 つの型クラスではなく、2 つの別個の型クラスを提供するのはなぜでしょうapか。Applyではないものを使っている人はいApplicativeますか？

Answer 1

Applicativepure「入る」方法であるメソッドを提供します。それ以外の場合は、(via ) または(via ) を使用してに変換できますが、 の中に何かを入れることはできません。そのため、他の人に任せることが制限されます。F[A]F[B]A => BmapF[A => B]apF

との違いApplicativeは、何もないところから入れることができるということです。

どちらも有用であり (「物事を に入れる権限を与えられているF」 と「いいえ、手を離して、与えられたものを操作してください」)、Applicative別々Applyの型クラスです。