Ingegneria software monad

2

Qual è il modello "Monade + interprete gratis"?

Ho visto persone parlare di Free Monad con interprete , in particolare nel contesto dell'accesso ai dati. Cos'è questo modello? Quando potrei volerlo usare? Come funziona e come lo implementerei? Capisco (da post come questo ) che si tratta di separare il modello dall'accesso ai dati. In che cosa differisce …

95 design-patterns functional-programming haskell dsl monad

5

Critica della monade IO che viene vista come una monade statale che opera sul mondo

La IOmonade di Haskell è spesso spiegata come una monade di stato in cui lo stato è il mondo. Quindi un valore di tipo IO amonade è visto come qualcosa di simile worldState -> (a, worldState). Qualche tempo fa ho letto un articolo (o un blog / post di una …

46 functional-programming haskell io monad

7

Forse monade vs eccezioni

Mi chiedo quali sono i vantaggi della Maybe monade rispetto alle eccezioni? Sembra che Maybesia solo un modo esplicito (e piuttosto dispendioso in termini di spazio) di try..catchsintassi. aggiornare noti prego che sto volutamente non menzionare Haskell.

34 language-agnostic functional-programming exceptions exception-handling monad

3

Diversi modi di vedere una monade

Durante l'apprendimento di Haskell ho affrontato molti tutorial cercando di spiegare cosa sono le monadi e perché le monadi sono importanti in Haskell. Ognuno di loro ha usato analogie, quindi sarebbe più facile coglierne il significato. Alla fine della giornata, ho finito con 3 diversi punti di vista su cosa …

29 functional-programming haskell monad side-effect

2

Le monadi sono un'alternativa praticabile (forse preferibile) alle gerarchie ereditarie?

Userò una descrizione indipendente dal linguaggio di monadi come questa, descrivendo prima i monoidi: Un monoide è (approssimativamente) un insieme di funzioni che accettano un tipo come parametro e restituiscono lo stesso tipo. Una monade è (approssimativamente) un insieme di funzioni che accettano un tipo di wrapper come parametro e …

20 object-oriented monad

4

Il vantaggio del modello di monade IO per la gestione degli effetti collaterali è puramente accademico?

Ci scusiamo per l'ennesima domanda sugli effetti collaterali di FP +, ma non sono riuscito a trovarne uno esistente che mi abbia risposto. La mia (limitata) comprensione della programmazione funzionale è che gli effetti di stato / collaterali dovrebbero essere minimizzati e tenuti separati dalla logica senza stato. Raccolgo anche …

17 python functional-programming state side-effect monad

2

Che cos'è un Comonad e come sono utili?

Di recente ho rispolverato le mie conoscenze su come funzionano le Monadi. Sono stato anche introdotto al concetto di "Comonad" , che è descritto come il doppio inverso di una monade . Tuttavia, sono impossibile avvolgerci la testa. Per capire Monads, ho fatto la mia analogia per me stesso: Le …

16 functional-programming monad

1

In che modo la monade libera e le estensioni reattive sono correlate?

Vengo da uno sfondo C #, in cui LINQ si è evoluto in Rx.NET, ma ha sempre avuto un certo interesse per FP. Dopo alcune introduzioni alle monadi e alcuni progetti secondari in F #, ero pronto a provare a passare al livello successivo. Ora, dopo diversi discorsi sulla monade …

14 functional-programming monad reactive

4

Quali problemi di programmazione risolvono Monads? [chiuso]

Chiuso . Questa domanda deve essere più focalizzata . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che si concentri su un problema solo modificando questo post . Chiuso 3 anni fa . Ho letto molti post che spiegano cosa sono le monadi, come …

14 functional-programming problem-solving monad

2

Perché il tipo di opzione Scala non si chiama Forse, proprio come in Haskell? [chiuso]

Chiuso . Questa domanda è basata sull'opinione . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che possa essere risolta con fatti e citazioni modificando questo post . Chiuso 4 anni fa . Perché il tipo di opzione Scala non si chiama Forse, proprio …

13 language-design haskell scala naming-standards monad

4

Quando si programma in stile funzionale, si dispone di un singolo stato dell'applicazione che si intreccia nella logica dell'applicazione?

Come faccio a costruire un sistema che abbia tutto quanto segue : Utilizzo di funzioni pure con oggetti immutabili. Passa in una funzione solo i dati della funzione di cui ha bisogno, non di più (ovvero nessun oggetto di stato di applicazione di grandi dimensioni) Evita di avere troppi argomenti …

12 c# functional-programming immutability state monad

1

Futures / Monadi vs Eventi

In un framework applicativo in cui l'impatto delle prestazioni può essere ignorato (10-20 eventi al secondo al massimo), cosa è più gestibile e flessibile da utilizzare come mezzo preferito per la comunicazione tra i moduli - Eventi o Futures / Promesse / Monadi ? Si dice spesso che gli eventi …

10 architecture maintainability async event-programming monad

1

Meglio usare la monade degli errori con la validazione nelle tue funzioni monadiche o implementare la tua monade con la validazione direttamente nel tuo bind?

Mi chiedo cosa sia meglio il design saggio per usabilità / manutenibilità e cosa c'è di meglio per quanto riguarda la comunità. Dato il modello di dati: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving …

9 functional-programming haskell validation monad

6

Come praticante, perché dovrei preoccuparmi di Haskell? Che cos'è una monade e perché ne ho bisogno? [chiuso]

Chiuso . Questa domanda deve essere più focalizzata . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che si concentri su un problema solo modificando questo post . Chiuso 6 anni fa . Semplicemente non capisco quale problema risolvono.

9 haskell pragmatism monad

Domande taggate «monad»