monads

9calore

1risposta

È davvero una pratica predefinita rendere ogni trasformatore monad un'istanza di MonadTrans?

Così Real World Haskell dice: Ogni trasformatore monade è un esempio di MonadTrans ma sto giocando con Scotty e ha scoperto che la sua base monade trasformatore ScottyT è non un'istanza di MonadTrans.

7calore

2risposta

Can GHC può derivare le istanze Functor e Applicative per un trasformatore monad?

Sto cercando di implementare MaybeT nello spirito della libreria mtl. Con questa soluzione non compilazione: {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-} import Co

6calore

2risposta

Qual è la connessione tra le funzioni del generatore e le monadi in JavaScript?

Un software di sviluppo appassionato noted the following: Stato attuale: compulsivamente riscrivere tutti i miei JS dopo aver effettuato il collegamento intuitivo tra le funzioni del generatore e comp

6calore

2risposta

Perché le monade non compongono in scala

Perché le monadi non compongono quando una Monade è una Applicativa e una Applicativa è una Functional. Vedete questa catena ereditaria in molti articoli sul web (che ho attraversato). Ma quando Funci

12calore

1risposta

Ogni monade gratis su un ??? il functor produce una comonade?

In "this answer in" Può una monade essere una comonad? " vediamo che Ogni CofreeComonad su un Alternative functor produce un Monade. Quale sarebbe il doppio a questo? Esiste una classe di funtori che

5calore

2risposta

Ciclo di stato con diversi tipi di interruzioni

Sto provando a convertire il seguente codice imperativo stato in Haskell. while (true) { while (get()) { if (put1()) { failImmediately(); } } if (put2()) { succeedI

7calore

3risposta

Come mappare (O String (a -> b)) a (O String [(a -> b)])

cerco di trovare una soluzione su un esercizio di mio, con i seguenti requisiti: Abbiamo bisogno di spostare un oggetto contro una determinata sequenza. Una sequenza è composta da azioni. Qui sono pos

9calore

1risposta

Come convertire in stile CPS GCD calcolo di utilizzare la continuazione Monade

Consideriamo la seguente implementazione della monade Continuazione, per i calcoli in stile CPS rendimento e numero intero: module Cont : sig type 'a t = ('a -> int) -> int val return : 'a -

6calore

1risposta

Concatenato se/else staments nell'IO Monade

Mi chiedo se esiste un modo idiomatico di scrivere il codice di controllo simile alle dichiarazioni concatenate se/else in un linguaggio imperativo nell'IO Monade. Quindi, in un linguaggio come Python

10calore

4risposta

Scrivendo la monade identità in termini di libera

In "Tipi di dati alla carte" Swierstra scrive che dato Free (che egli chiama Term) e Zero è possibile implementare la monade Identità: data Term f a = Pure a | Impure (f (Term f a)) data Zero