monads

16calore

4risposta

Mi sono scontrato con Haskell alcuni giorni e sono incappato in un problema. Ho bisogno di un metodo che restituisca un elenco casuale di numeri interi (Rand [[Int]]). Quindi, ho definito un tipo: typ

5calore

2risposta

Implementazione di Haskell-MaybeMonad in F #: come possiamo ottenere questo pigro?

stiamo provando a costruire l'esempio Haskell-MaybeMonad da http://www.haskell.org/all_about_monads/html/maybemonad.html in F #. L'idea è di cercare un indirizzo di posta in due dizionari. Se una dell

11calore

2risposta

Come posso usare parMap con una funzione monadica?

Ho una funzione monadica getRate: getRate :: String -> IO Double vorrei mappare questa funzione nel corso di un elenco di stringa di. Normalmente, vorrei solo fare: mapM getRate ["foo", "bar"] ma

8calore

4risposta

Scala equivalente a Haskell monadi

Ho avuto una certa esperienza in Haskell e attualmente sto imparando Scala. Mi chiedo se ci sia qualcosa di equivalente a Monade in Scala ??

12calore

1risposta

Il motivo per cui MonadState viene messo e messo?

Sto leggendo il capitolo di Monade in Real World Haskell (capitolo 14). Una funzione è defined come segue: type RandomState a = State StdGen a getRandom :: Random a => RandomState a getRandom =

7calore

3risposta

pratica comune per ordine superiore-polimorfismo in scala

sto cercando di cogliere di ordine superiore-polymophism in scala mediante l'attuazione di un'interfaccia molto semplice che descrive una monade, ma ho incontrato un problema che non capisco. ho imple

5calore

2risposta

Perché questo codice E-monad non digita il controllo?

instance Monad (Either a) where return = Left fail = Right Left x >>= f = f x Right x >>= _ = Right x questo codice Frag in 'baby.hs' ha causato l'errore di compilazione orribile

7calore

1risposta

cosa è contesto in Haskell classe tipo multiparametrica

Nel capitolo 15 della Real World Haskell, una classe tipo è definito: class (Monad m) => MonadSupply s m | m -> s where Un paio di paragrafi dopo, si dice che >> = e tornare non hanno bisogno di ess

10calore

1risposta

Perfezionamento monade "interfaccia" "interfaccia"

Lo stato monade class MonadState s m where get :: m s put :: s -> m() (+ ritorno e bind) permette di costruire ogni possibile calcolo con monade Stato senza utilizzare State costruttore. A

10calore

3risposta

mappe Haskell ritorno una monade

La funzione di ricerca in Data.Map e Data.IntMap attualmente restituire valori avvolti in Magari con la firma tipo lookup :: Ord k => k -> Map k a -> Maybe a È utilizzato per avere il tipo più gener