「封閉在構圖下」的含義

Question

我一直在閱讀this paper，並且在那裏提到Applicative類是在構圖下關閉的。

這實際上意味着什麼？

Answer 1

一般來說，「X爲Y下關閉」的意思是，如果你需要一些兩個X和Y它們，結果是一個X.例如，意思是「整數集是根據另外關閉」如果你拿兩個整數並加它們，結果是一個整數。

因此，說類Applicative在組合下關閉意味着如果你採用兩個應用函數並組合它們，結果也是一個應用函子。

Answer 2

的Applicative小號fg和該組合物是

newtype Compose f g a = Compose { getCompose :: f (g a) } 

和「Applicative下組合物封閉的」意味着該newtype本身具有Applicative實例。

http://hackage.haskell.org/package/transformers-0.3.0.0/docs/Data-Functor-Compose.html