Significato di "chiuso nella composizione"

Question

Ho letto this paper e si dice che la classe Applicative è chiusa in composizione.

Che cosa significa in realtà?

Answer 1

In generale, "X è chiuso in Y" significa che se si prende un po 'di Xs e Y, il risultato è una X. Ad esempio, "l'insieme degli interi è chiuso in aggiunta" mezzi che se prendi due interi e li aggiungi, il risultato è un numero intero.

Pertanto, dire che la classe Applicative è chiusa in composizione significa che se si prendono due funzioni di tasti applicativi e si compongono, il risultato è anche un funtore applicativo.

Answer 2

La composizione Applicative s f e g è

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

e "Applicative è chiusa sotto composizione" significa che questo newtype stessa ha un'istanza Applicative.

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