Haskell “的含义；在“组合”下关闭；

我一直在阅读，其中提到，

Applicative

类在composition下关闭

---

这实际上意味着什么？

应用的s

f

和

g

的组成是

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

而“

Applicative

在composition下关闭”意味着该

newtype

本身有一个

Applicative

实例

一般来说，“X在Y下闭合”意味着如果你取一些X和Y，结果就是一个X。例如，“整数集在加法下闭合”意味着如果你取两个整数并相加，结果就是一个整数

因此，如果说类

Applicative

在composition下是封闭的，则意味着如果您获取两个Applicative函子并将其组合，则结果也是一个Applicative函子