Domande taggate «applicative»

Buoni esempi di Not a Functor / Functor / Applicative / Monad?

Mentre spiego a qualcuno cos'è una classe di tipo X, faccio fatica a trovare buoni esempi di strutture dati che siano esattamente X. Quindi, chiedo esempi per: Un costruttore di tipi che non è un Functor. Un costruttore di tipi che è un Functor, ma non Applicativo. Un costruttore di …

210 haskell monads functor applicative

Gli applicativi compongono, le monadi no

Gli applicativi compongono, le monadi no. Cosa significa la dichiarazione di cui sopra? E quando è preferibile l'uno all'altro?

110 haskell functional-programming monads monad-transformers applicative

La necessità di puro nelle applicazioni

Sto imparando le candidature di Haskell. Mi sembra (probabilmente sbaglio) che la purefunzione non sia realmente necessaria, ad esempio: pure (+) <*> [1,2,3] <*> [3,4,5] può essere scritto come (+) <$> [1,2,3] <*> [3,4,5] Qualcuno può spiegare il vantaggio che la purefunzione offre sulla mappatura esplicita con fmap?

19 haskell applicative

Tutti i contenitori di dimensioni fisse sono potenti funzioni monoidali e / o viceversa?

La Applicativetypeclass rappresenta i lassisti monoidali che preservano la struttura monoidale cartesiana nella categoria delle funzioni tipizzate. In altre parole, visti gli isomorfismi canonici che testimoniano che (,)forma una struttura monoidale: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, …

9 haskell functor applicative category-theory

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.