为什么pointfree.io选择liftM2而不是liftA2？

Question

最近，我在强迫症上为强迫症练习编写了一个解决方案，当我通过pointfree.io运行这个函数时

\c -> isDigit c || c == 'X'

我回来了：

liftM2 (||) isDigit ('X' ==)

为什么pointfree.io从Control.Monad选择liftM2而从Control.Applicative选择liftA2

Answer 1

事实上，Control.Monad比Control.Applicative老得多。

Monad已经出现在Haskell 98中，而关于应用函子的论文是在2007年提出的。这套套餐自2005年以来就一直存在。

维基百科

由于历史的原因，应用函子不是作为Monad的超类实现的，而是作为一个单独的类型类来实现的。事实证明，在实践中，对这种分离的需求很少，因此在2014年，有人提议将应用程序追溯为Monad的超类。

所以liftM{N}仍然有效。