撰寫應用性功能

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。