Domande taggate «monads»

Una monade in programmazione è una descrizione di calcolo componibile. Le monadi sono un costrutto importante nei linguaggi di programmazione funzionale come Haskell.

Cos'è la monade indicizzata?

Qual è la monade indicizzata e la motivazione per questa monade? Ho letto che aiuta a tenere traccia degli effetti collaterali. Ma la firma del tipo e la documentazione non mi portano da nessuna parte. Quale potrebbe essere un esempio di come può aiutare a tenere traccia degli effetti collaterali …

98 haskell monads

Come si gioca con Control.Monad.Writer in haskell?

Sono nuovo nella programmazione funzionale e recentemente ho imparato a Learn You a Haskell , ma quando ho seguito questo capitolo , sono rimasto bloccato con il programma seguente: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++ show x]) multWithLog …

96 haskell monads

mtl, transformers, monads-fd, monadLib e il paradosso della scelta

Hackage ha diversi pacchetti per trasformatori monade: mtl : libreria di trasformatori Monad trasformatori : funtore concreto e trasformatori monade monads-fd : classi Monad, che utilizzano dipendenze funzionali monads-tf : classi Monad, utilizzando famiglie di tipi monadLib : una raccolta di trasformatori monade. mtl-tf : libreria di trasformatori Monad che …

92 haskell monads monad-transformers

Differenza tra State, ST, IORef e MVar

Sto lavorando a Scrivi uno schema in 48 ore (ho circa 85 ore) e sono arrivato alla parte relativa all'aggiunta di variabili e compiti . C'è un grande salto concettuale in questo capitolo, e vorrei che fosse stato fatto in due fasi con un buon refactoring nel mezzo piuttosto che …

91 variables haskell monads state-monad ioref

Confuso con la trasformazione da comprensione a flatMap / Map

Non mi sembra davvero di capire Map e FlatMap. Quello che non riesco a capire è come una per comprensione sia una sequenza di chiamate annidate a map e flatMap. Il seguente esempio è tratto da Functional Programming in Scala def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] = for { f <- mkMatcher(pat) g <- …

87 scala map monads for-comprehension

Come fattorizzare la monade di continuazione in congiunti sinistro e destro?

Poiché la monade dello Stato può essere scomposta in Prodotto (Sinistra - Funzione) e Lettore (Destra - Rappresentabile). C'è un modo per fattorizzare la Monade della continuazione? Di seguito il codice è il mio tentativo, che non digitare check -- To form a -> (a -> k) -> k {-# …

11 haskell monads continuations category-theory comonad

Stati nidificati a Haskell

Sto cercando di definire una famiglia di macchine a stati con tipi di stati alquanto diversi. In particolare, le macchine a stati più "complesse" hanno stati che si formano combinando gli stati di macchine a stati più semplici. (È simile a un'impostazione orientata agli oggetti in cui un oggetto ha …

9 haskell state monads monad-transformers state-monad

Cosa posso fare con callCC che non può essere fatto con cont?

Sono davvero alle prese con la comprensione di callCC. Ottengo il potere di Continuations e ho usato il concetto in alcuni dei miei progetti per creare concetti interessanti. Ma non ho mai avuto bisogno di usare qualcosa con capacità maggiori di cont :: ((a->r)->r)-> Cont r a. Dopo averlo usato, …

9 haskell functional-programming monads

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.