Domande con tag 'monad'

domande con tag
3
risposte

Tipi di reso dettagliati

Recentemente ho scritto un codice che tratta di terze parti - ovviamente si verificheranno degli errori, quindi utilizzerò le / o forse le monade se appropriato. Poiché si tratta di C #, sto anche utilizzando attività asincrone. Il mio proble...
posta 09.06.2016 - 19:38
2
risposte

sono espressioni computazionali f # una forma di programmazione orientata all'aspetto?

sono le monadi, o più specificamente le espressioni computazionali f #, una forma di programmazione orientata all'aspetto? Aggiornamento: I costruttori di workflow f # hanno metodi diversi da bind e unit. Hanno ganci per molte parole chiav...
posta 11.05.2011 - 23:44
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
2
risposte

Perché non monad prendere '(M a - M b)'?

Tutte le scuse - Sono ancora molto al di fuori di Haskell. Perché il bind di una monade ha questa firma: M a -> (a -> M b) -> M b e non M a -> (M a -> M b) -> M b vale a dire. una funzione che accetta M a...
posta 26.02.2014 - 23:48
1
risposta

Come gestire lo stato in un'applicazione GUI con Haskell

Sto usando wxHaskell per creare una semplice interfaccia grafica con componenti tipici come pulsanti, pannelli, ecc. Quando alcuni di questi componenti eseguono un'azione (come il callback), lo stato generico dell'applicazione può cambiare....
posta 28.06.2015 - 17:33
2
risposte

Implementazione di una bind monade sensibile alle chiavi per la mappa valore-chiave

Sulla base della monade List ho deciso di definire Monad istanze per il tipo Map da Data.Map , per eseguire unioni e pieghe concatenate su Map s come elenchi, ma con l'efficiente ordinamento e fusione di Map s: {-# LAN...
posta 10.06.2016 - 16:01
1
risposta

Quando una Monade diventa un martello?

Mi rendo conto che la mia comprensione precursore su Monads è gravemente carente nei dettagli considerando che la mia conoscenza proviene principalmente da Le Monade di Douglas Crockford e le Gonadi parlano e complicato con il mio handicap Sev...
posta 15.07.2014 - 05:04
1
risposta

Si tratta di una monade in Java? (parte 2)

Il mio primo tentativo è stato su StackOverflow. Raccolgo la risposta per migliorare la mia monade: StackOverflow - È una monade in Java? Il mio obiettivo è scrivere un esempio di monade. Non sto cercando di risolvere il caso generale, ne e...
posta 16.02.2014 - 04:33
2
risposte

Qual è il modo corretto di pensare alle monadi di stato?

Ultimamente ho usato un approccio funzionale nella mia programmazione. So che mutabilità e cambiamenti di stato non sono grandi nel paradigma. Ora mi trovo a lavorare con database e altre strutture dati in cui lo stato deve essere modificato. Ho...
posta 13.11.2017 - 00:55
2
risposte

Perché una monade usa "ritorno" o "unità" piuttosto che "lift"?

Questa è in parte genuina curiosità e in parte un controllo sulla mia comprensione. Probabilmente mi manca il punto. In Haskell, perché una monade usa operazioni chiamate return o unit per descrivere l'inserimento di un tipo nel con...
posta 04.03.2014 - 00:56