Question

我一直在阅读this paper，并且在那里提到Applicative类在合成下关闭。

这究竟意味着什么？

Answer 1

通常，“X在Y下关闭”意味着如果你取一些X和Y它们，结果是X.例如，“整数集合在加法下关闭”意味着如果你取两个整数并添加它们，结果是一个整数。

因此，说课程Applicative在作文下被关闭意味着如果你带两个应用函子并组成它们，结果也是一个应用函子。

Answer 2

Applicative s f和g的构成是

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

和“Applicative在合成下关闭”表示此newtype本身有Applicative个实例。