monads

8calore

1risposta

In GHCi, perché non posso mostrare `pure 1` in REPL?

Ho provato ad assegnare un valore sollevato a a. λ> :m Control.Applicative λ> let a = pure 1 Quando ho valutato a in REPL, stampa 1. λ> a 1 Pertanto, ho pensato che ci potrebbe essere un'impleme

7calore

3risposta

Devo implementare Applicative e Functor per implementare una Monad

Sto tentando di implementare un'istanza Monad. Come esempio più semplice, assumere i seguenti: data Maybee a = Notheeng | Juust a instance Monad Maybee where return x = Juust x Notheeng >>

7calore

1risposta

Qual è un modo pulito per gestire una chiamata di monade in un'altra?

Ecco un problema di incollare insieme le monadi. Non in una pila, ma nella forma di dover scartare una Monade per eseguire l'operazione all'interno di un'altra. Due domini: Weblog e App. Tuttavia, tie

10calore

1risposta

Come si programma in modo monodico in Java8 mentre si ottengono prestazioni comparabili?

La programmazione monadica in Java 8 è più lenta? Di seguito è riportato il mio test (viene utilizzato un parallelismo di destra che crea nuove istanze per ogni computazione). La versione imperativa è

6calore

1risposta

Che cos'è un modo idiomatico di gestire un canale di input pigro in Haskell

Sto implementando un bot IRC e dal momento che mi sto collegando su SSL utilizzando OpenSSL.Session, utilizzo la funzione lazyRead per leggere i dati dal socket. Durante la fase iniziale della conness

12calore

1risposta

Haskell `tipo di firma forever`

In Haskell perché è di tipo-firma di forever forever :: Monad m => m a -> m b particolare perché non è solo :: Monad m => m a -> m a? Sicuramente il tipo di monade su cui stiamo operando non cambia

8calore

2risposta

Perché le istanze corrispondono solo alle loro teste?

Inizierò introducendo un problema concreto (StackOverflow è così). Dire si definisce un tipo semplice data T a = T a Questo tipo è un Functor, Applicative e Monad. Ignorando la derivazione automatic

6calore

1risposta

Come implementare un cortocircuito con MONAD IO in Scala

Uso una monade IO standard. E a un certo punto, ho bisogno di cortocircuito. In una determinata condizione, non voglio eseguire i seguenti iOS. Ecco la mia soluzione, ma ho trovato troppo prolisso e n

8calore

1risposta

Che diamine è "- <", comunque?

L'altro giorno mi sono imbattuto in un operatore, -<, che appare nel contesto del collegamento di un valore a una variabile in una monade; in particolare, sembra che questo passi un valore a una funzi

6calore

2risposta

Perché non posso impilare due lettori uno sull'altro?

ottengo gli errori come questo: Diciamo che ho un monadStack ReaderT A (ReaderT B m), ogni volta che uso ask o asks, ottengo un errore come questo: Types.hs:21:10: Couldn't match type ‘A’ with ‘B