Domande con tag 'monad'

domande con tag
6
risposte

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

Semplicemente non capisco quale problema risolvono.     
posta 22.01.2011 - 04:27
1
risposta

Meglio usare la monade degli errori con la convalida nelle funzioni monadiche o implementare la propria monade con la convalida direttamente nel proprio bind?

Mi chiedo quale sia il design migliore per l'usabilità / manutenibilità, e cosa c'è di meglio per quanto riguarda il fitting con la community. Dato il modello di dati: type Name = String data Amount = Out | Some | Enough | Plenty deriving...
posta 28.01.2013 - 22:19
3
risposte

In che modo la forse Monad si riferisce al tipo di opzione?

Stavo facendo una presentazione su F # e stavo discutendo del tipo di opzione quando qualcuno del pubblico mi chiedeva se il tipo di opzione fosse l'implementazione di F # della forse monade. So che non è il caso, ma volevo chiedere in che modo...
posta 22.06.2012 - 15:15
1
risposta

Quale monade è l'opposto dell'errore monad in haskell

Nella monade dell'errore, il primo errore arresta qualsiasi esecuzione ulteriormente portando semplicemente l'errore attraverso i seguenti binding. Quale monade si ferma sul successo solo portando avanti i successi e fondamentalmente inghiott...
posta 20.01.2013 - 01:29
3
risposte

I database dovrebbero essere visti come Monade?

Poiché ogni tipo di aggiornamento / inserimento / eliminazione della persistenza rappresenta in un certo senso una sorta di cambiamento di stato in un database, mi chiedo se i database possano essere considerati monadi. Diciamo la stessa cosa su...
posta 18.03.2016 - 16:51
1
risposta

IO Codice monadico: composizione di funzioni standard vs capovolte

Di seguito c'è una linea che gestisce le connessioni socket in un semplice programma Haskell. mainLoop :: Socket -> IO () mainLoop sock = accept sock >>= forkIO . handle . fst >> mainLoop sock Il "flusso" di dati nella funzio...
posta 10.03.2017 - 23:56
4
risposte

La definizione minima di programmatore di una monade

Sto cercando di formulare una definizione di monade senza bisogno di termini matematici o Haskell per capire. Si può pensare a una monade come a una funzione che accetta un valore e lo avvolge in modo tale da soddisfare specifiche interfacce...
posta 05.07.2016 - 16:18
2
risposte

Perché Scala indica la composizione monadica come "per la comprensione"?

Non sono sicuro che sia una domanda appropriata, ma eccola qui. So che la notazione di Haskell è abbastanza buona. E mi sono reso conto che la "comprensione" di Scala è in realtà la stessa cosa della notazione in Haskell. Qualcosa che non cap...
posta 16.01.2016 - 12:27
3
risposte

Qual è lo scopo dei valori avvolti in Haskell?

Recentemente ho letto un articolo su Functional, Applicatives and Monads in Haskell e si conclude con queste affermazioni: functors: si applica una funzione a un valore spostato utilizzando fmap o <$> applicativi: si appl...
posta 24.11.2015 - 18:30
1
risposta

Quando diciamo che una monade 'incapsula un calcolo' - sta dicendo semplicemente 'avvolge una trasformazione funzionale dei dati'?

Quando penso alla parola "computazione", la mia mente salta al calcolo lambda o alle operazioni su una macchina a stati che rappresenta una CPU. È una definizione abbastanza ampia. Ora alcune persone parlano di monadi come "rappresentante u...
posta 26.09.2014 - 15:34