monads

30calore

3risposta

Esempi di una monade la cui parte Applicativa può essere ottimizzata meglio della parte Monad

In una discussione ho sentito che l'interfaccia Applicative di alcuni parser è implementata in modo diverso, più efficiente della loro interfaccia Monad. Il motivo è che con Applicative conosciamo tut

7calore

1risposta

Quando usare la monade ST in Scala?

Scalaz offre una bella astrazione su calcoli statali: la monade ST. La monade ST consente di acquisire un calcolo di effetti collaterali in una forma funzionale. In Haskell, suppongo, l'utilizzo di ta

22calore

2risposta

Scala IO monade: qual è il punto?

Ho visto un video di recente su come si poteva venire con la monade IO, il discorso era in scala. In realtà mi sto chiedendo quale sia il motivo per cui le funzioni restituiscono IO [A] al di fuori di

6calore

1risposta

modo elegante di scrivere confronto ordinato su più proprietà

dire che ho un tipo di dati come il seguente: data Foo = Foo { field1, field2, field3 :: Int } E mi piacerebbe farlo un'istanza di Ord confrontando field1, field2 e field3 in un ordine particolare t

6calore

3risposta

Monade da tutti gli angoli - Matematica, diagrammatica e programmatica

Sto cercando di riconciliare la definizione categoriale di Monad con le altre rappresentazioni/definizioni generali che ho visto in altri tutorial/libri. Qui di seguito, io sono (forse con forza) cerc

5calore

1risposta

Quale pacchetto Haskell ha un'unità functor/monad?

Sto cercando l'unità funtore/monade data Unit a = Unit Potrei facilmente ricrearlo, ma preferisco non duplicare qualcosa di questa base. Viveva in Control.Functor nel pacchetto di categoria extra (h

33calore

2risposta

Perché MonadPlus e non Monad + Monoid?

Sto cercando di capire le motivazioni alla base dello MonadPlus. Perché è necessario se ci sono già i typeclasses Monad e Monoid? Concesso, le istanze di Monoid sono tipi concreti, mentre le istanze d

6calore

1risposta

Monade per il controllo del flusso - Sequenza, selezione e iterazione

Posso vedere come usereste un Monad è Haskell per IO - per creare un contenitore attorno al calcolo per questa operazione. È logico che tu possa usare Monads per "collegare i calcoli insieme", come si

6calore

2risposta

Haskell: gestione delle eccezioni in non-IO monadi

Ho iniziato a utilizzare Yesod per sviluppare un piccolo progetto, questa è la prima volta che uso Haskell per fare qualcosa di reale. Questo codice che gestisce un modulo di registrazione funziona be

5calore

1risposta

Istanza applicativa per (Monad m, Monoid o) => m o?

Ci scusiamo per il terribile titolo. Sto cercando di creare un'istanza di Applicative per un Monad che avvolge un tipo che è un Monoid. instance (Monad m, Monoid o) => Applicative (m o) where pur