scala - 为什么我们需要分离 Apply 和 Applicative 类型类？

Question

我读了 cats documentation关于类型类 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 ”和“不，不要 Handlebars 拿开，并根据给定的内容进行操作”)，Applicative和 Apply是单独的类型类。