撰写应用性功能

Question

请执行以下功能：

composeApplicative :: (Applicative f) => f (b -> c) -> f (a -> b) -> f (a -> c) 

这样的：

(composeApplicative f g) <*> x == f <*> (g <*> x) 

或者，解释为什么这不能做？

Answer 1

这是可以做到：

composeApplicative p q = (.) <$> p <*> q 

欲了解更多信息，read the documentation for Applicative functors，更具体地说，组成法律。实际上，任何Applicative实例composeApplicative f g <*> x必须总是等于f <*> (g <*> x)。

作为一个小技术笔记，当进行等式推理时，等式的左侧和右侧必须用一个等号（=）分隔开。双等号（==）保留为decidable runtime equality checks。