Programmazione monads

30

Dopo aver esaminato brevemente Haskell di recente, quale sarebbe una breve, concisa, concreta spiegazione di cosa sia essenzialmente una monade? Ho trovato la maggior parte delle spiegazioni che ho scoperto essere abbastanza inaccessibili e prive di dettagli pratici.

1415 haskell functional-programming monads terminology

19

Monade in inglese semplice? (Per il programmatore OOP senza background FP)

In termini che un programmatore OOP avrebbe capito (senza alcun background di programmazione funzionale), che cos'è una monade? Quale problema risolve e quali sono i luoghi più comuni in cui viene utilizzato? MODIFICARE: Per chiarire il tipo di comprensione che stavo cercando, diciamo che stavi convertendo un'applicazione FP che aveva …

743 oop functional-programming monads

6

Una monade è solo un monoide nella categoria degli endofunctor, qual è il problema?

Chi ha detto per primo quanto segue? Una monade è solo un monoide nella categoria degli endofunctor, qual è il problema? E su una nota meno importante, è vero e in tal caso potresti dare una spiegazione (si spera che possa essere compresa da qualcuno che non ha molta esperienza …

723 haskell monads category-theory monoids

8

Design su larga scala in Haskell? [chiuso]

Chiuso . Questa domanda deve essere più focalizzata . Al momento non accetta risposte. Chiuso 3 anni fa . Bloccato . Questa domanda e le sue risposte sono bloccate perché la domanda è fuori tema ma ha un significato storico. Al momento non accetta nuove risposte o interazioni. Qual è …

565 haskell functional-programming monads large-scale

1

Scalaz iteratees: "Lifting" `EnumeratorT` per abbinare` IterateeT` per una monade “più grande”

Se ho un EnumeratorTe un corrispondente IterateeTposso eseguirli insieme: val en: EnumeratorT[String, Task] = EnumeratorT.enumList(List("a", "b", "c")) val it: IterateeT[String, Task, Int] = IterateeT.length (it &= en).run : Task[Int] Se la monade dell'enumeratore è "più grande" della monade iterata, posso usare upo, più in generale, Hoistper "sollevare" l'iterata affinché corrisponda: …

445 scala monads scalaz enumerator iterate

6

Cosa sono le monadi libere?

Ho visto il termine libero Monade pop-up ogni ora e poi per qualche tempo, ma tutti sembrano solo per usare / discuterne senza dare una spiegazione di ciò che sono. Quindi: cosa sono le monadi libere? (Direi che ho familiarità con le monadi e le basi di Haskell, ma ho …

368 haskell monads free-monad

7

Perché abbiamo bisogno delle monadi?

A mio modesto parere, le risposte alla famosa domanda "Cos'è una monade?" , specialmente quelli più votati, cercano di spiegare cos'è una monade senza spiegare chiaramente perché le monadi siano davvero necessarie . Possono essere spiegati come la soluzione di un problema?

366 haskell monads

5

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

6

In C #, Cos'è una monade?

Di questi tempi si parla molto delle monadi. Ho letto alcuni articoli / post di blog, ma non posso andare abbastanza lontano con i loro esempi per comprendere appieno il concetto. Il motivo è che le monadi sono un concetto di linguaggio funzionale, e quindi gli esempi sono in lingue …

190 c# c#-3.0 lambda monads

8

Perché gli effetti collaterali sono modellati come monadi in Haskell?

Qualcuno potrebbe dare alcuni suggerimenti sul perché i calcoli impuri in Haskell sono modellati come monadi? Voglio dire, la monade è solo un'interfaccia con 4 operazioni, quindi qual era il ragionamento per modellare gli effetti collaterali in essa?

172 haskell functional-programming monads

3

Qual è lo scopo della monade lettrice?

La monade del lettore è così complessa e sembra essere inutile. In un linguaggio imperativo come Java o C ++, non esiste un concetto equivalente per la monade del lettore, se non mi sbaglio. Puoi farmi un semplice esempio e chiarire un po 'questo?

122 haskell monads reader-monad

16

Pattern per evitare annidati provare a catturare i blocchi?

Considera una situazione in cui ho tre (o più) modi per eseguire un calcolo, ognuno dei quali può fallire con un'eccezione. Per tentare ogni calcolo finché non ne troviamo uno che abbia esito positivo, ho fatto quanto segue: double val; try { val = calc1(); } catch (Calc1Exception e1) { …

114 c# design-patterns try-catch monads

5

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

5

Modelli di design funzionali [chiusi]

Chiuso. Questa domanda non soddisfa le linee guida di Stack Overflow . Attualmente non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che sia in argomento per Stack Overflow. Chiuso 4 anni fa . Migliora questa domanda Esistono molti idiomi funzionali: monadi, applicativi, frecce, ecc. Sono documentati …

106 scala haskell functional-programming monads

1

Perché abbiamo map, fmap e liftM?

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Perché abbiamo tre diverse funzioni che fanno essenzialmente la stessa cosa?

102 list haskell monads redundancy functor

Domande taggate «monads»