Domande con tag 'monad'

5
risposte

Critica della monade IO considerata come una monade di stato che opera nel mondo

Il IO monad in Haskell viene spesso spiegato come una monade di stato in cui lo stato è il mondo. Quindi un valore di tipo IO a monad viene visualizzato come qualcosa come worldState -> (a, worldState) . Qualche tempo fa ho l...
posta 20.08.2012 - 09:33
7
risposte

Forse monade vs eccezioni

Mi chiedo quali sono i vantaggi di Maybe monad rispetto alle eccezioni? Sembra che Maybe sia solo un modo esplicito (e piuttosto dispendioso) di try..catch sintassi. aggiornamento Tieni presente che io non intenzionalment...
posta 30.05.2012 - 15:01
4
risposte

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

Ci scusiamo per l'ennesima domanda sugli effetti collaterali FP +, ma non sono riuscito a trovarne uno esistente che mi ha risposto abbastanza bene. La mia comprensione (limitata) della programmazione funzionale è che gli effetti di stato /...
posta 06.08.2015 - 01:43
2
risposte

Le monadi sono un'alternativa praticabile (forse preferibile) alle gerarchie di ereditarietà?

Userò una descrizione di monade simile alla lingua, come questa, descrivendo prima i monoidi: A monoid is (roughly) a set of functions that take some type as a parameter and return the same type. A monad is (roughly) a set of functio...
posta 03.04.2014 - 01:29
4
risposte

Quali problemi di programmazione risolvono le Monadi? [chiuso]

Ho letto molti post che spiegano cosa sono le monadi, come unit e bind funzionano, alcuni di loro si tuffano direttamente nella teoria delle categorie in modo astratto (almeno per me) che fa sanguinare gli occhi, alcuni ignorandolo del...
posta 28.02.2016 - 15:44
1
risposta

Come funziona la monade libera e le estensioni reattive?

Vengo da uno sfondo C #, in cui LINQ si è evoluto in Rx.NET, ma ha sempre avuto un certo interesse per FP. Dopo qualche introduzione alle monadi e alcuni progetti paralleli in F #, ero pronto a provare a passare al livello successivo. Ora, do...
posta 06.06.2016 - 23:54
2
risposte

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

Perché il tipo di opzione Scala non è chiamato Forse, proprio come in Haskell? Forse mi rende molto più "senso semantico", ma forse Option ha un comportamento diverso di cui non sono a conoscenza. C'è qualche ragione particolare per cui Op...
posta 09.08.2013 - 15:45
2
risposte

Che cos'è una Comonad e come sono utili?

Recentemente ho rispolverato le mie conoscenze su come funzionano le Monade. Ho anche introdotto il concetto di 'Comonad' , che è descritto come il inverso doppio di un monade . Tuttavia, sono impossibile girarci intorno. Per capire Monad...
posta 16.06.2016 - 13:30
4
risposte

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

Come faccio a costruire un sistema che ha tutti i seguenti : Uso di funzioni pure con oggetti immutabili Passa solo in una funzione dati che la funzione di cui ha bisogno, non più (cioè nessun grande oggetto stato dell'applicazione) Evi...
posta 05.07.2017 - 05:07
1
risposta

Futures / Monadi vs Eventi

In un framework di applicazione quando l'impatto sulle prestazioni può essere ignorato (10-20 eventi al secondo al massimo), ciò che è più gestibile e flessibile da utilizzare come mezzo preferito per la comunicazione tra i moduli - Eventi o F...
posta 25.09.2012 - 02:20