ham*_*mar 30
通常,"X在Y下关闭"意味着如果你取一些X和Y它们,结果就是一个X.例如,"整数集在加法时关闭"意味着如果你取两个整数并加上它们,结果是整数.
因此,说这个课程Applicative在作文下被关闭意味着如果你拿两个应用函子并组成它们,结果也是一个应用函子.
Tom*_*lis 12
的组合物,Applicative小号f和g是
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