monads

9calore

1risposta

FMAP Strict utilizzando solo Functor, non Monade

Un'irritazione con lazy IO catturato la mia attenzione di recente import System.IO import Control.Applicative main = withFile "test.txt" ReadMode getLines >>= mapM_ putStrLn where getLines h =

13calore

1risposta

Quali sono tutte le convenzioni di denominazione monade?

Sembra che Haskell abbia stabilito diverse convenzioni di denominazione attorno alle monadi. Esempi: allegate T al fine di ottenere il nome del trasformatore Monade (es Reader ->ReaderT) utilizzando r

18calore

1risposta

Definizione di nuove parole chiave nell'espressione di computazione F #

La beta F # 3.0 contiene un'espressione di calcolo query {} con tonnellate di nuove parole chiave. Come definire le mie parole chiave in un costruttore di calcoli?

11calore

1risposta

Manipolare lo stack monade

Se ho una pila di monadi, dicono IO, State e Error, e una funzione che utilizza solo IO e Error. Come si fa a "rimuovere" la monade centrale State dallo stack in modo da poter usare la mia funzione? S

17calore

3risposta

Costrutti di calcolo (Monade, Frecce, ecc.)

Sono diventato piuttosto interessato a come il calcolo è modellato in Haskell. Diverse risorse hanno descritto le monadi come "computazione componibile" e le frecce come "viste astratte del calcolo".

13calore

4risposta

Repacking monads - in modo generico?

Dato due monadi, Monad m e Monad n, mi piacerebbe trasformare m (n a) in n (m a). Ma non sembra esserci un modo generico perché sia (>>=) che return si occupano solo di un tipo di monade e sebbene (

21calore

6risposta

Implementazione di Maybe Monad di Haskell in C++ 11

Sto cercando di implementare la funzione Forse monad di Haskell utilizzando le funzioni lambda in C++ 11 e i modelli. Ecco quello che ho finora #include<functional> #include<iostream> using namespac

7calore

2risposta

Aggiornamento monad esterno solo trasformatore monade

Ho una monade per un calcolo che può mancare e fa qualche registrazione: f1 :: WriterT [String] (Either String) a Ho una funzione che non mancherà ma fa qualche registrazione: f2 :: Writer [String]

15calore

2risposta

Repa 3 prestazioni e uso corretto di 'now'

Qui c'è una domanda di monade di base, non correlata a Repa, più alcune domande specifiche per Repa. Sto lavorando su una libreria utilizzando Repa3. Sto riscontrando problemi nell'ottenere un codice

5calore

1risposta

Valori di gruppo con una chiave con qualsiasi Monoid

Vorrei scrivere un metodo mergeKeys che raggruppa i valori in un Iterable[(K, V)] mediante le chiavi. Per esempio, ho potuto scrivere: def mergeKeysList[K, V](iter: Iterable[(K, V)]) = { iter.fol