为什么我们需要分开Apply和Applicative类型的类？

Question

我读了cats documentation关于typeclasses Apply和Applicative。我想知道为什么图书馆提供了两个单独的类型类，而不是仅仅一个类型类Applicative，这将扩展Functor并添加ap？有没有人使用Apply那不是Applicative？

Answer 1

Applicative提供了pure方法，这是一种“进入”的方法。否则，尽管你可以转换到F[A]F[B]，无论是与A => B（通过map）或F[A => B]（通过ap），你不必把任何一种F内的能力。所以你只能让别人为你做。

与Applicative的区别在于你的可以从中放入东西，从无到有。

由于这两个可能是有用的（“你有权把东西放进一个F”和“不用了，继续你的手拿开，并在你给出什么操作”），Applicative和Apply是单独的类型类。