monads

16calore

2risposta

Permutazione di un elenco - Haskell

Voglio fare tutte le possibili combinazioni di sottogruppi con 2 elenchi. Ecco una funzione che fa proprio questo: getCombinations :: [a] -> [[a]] getCombinations na = do a <- na b <- na

haskell monads 2012-01-08

---

7calore

1risposta

Haskell ha foldlM '?

Come si piega rigorosamente una monade? Data.Foldable ha il severo foldl' e il monadico foldlM, ma non rigoroso foldlM'? La rigidità è in qualche modo definita dalla stessa monade? Se è così, come si

haskell monads fold 2012-01-18

---

9calore

2risposta

Esistono già costrutti C# /. NET funzionali come questi? g (h()) o

public static Func<V> To<T, V>(this Func<T> g, Func<T, V> h) { return() => h(g()); } public static Func<T> ToIdentity<T>(this T t) { return() => t; } A volte uso questi e altri per r

c# .net functional-programming monads 2012-01-23

---

7calore

1risposta

Ci sono monadi che possono essere usati come un automa?

Sto scrivendo un trasformatore di flusso da un tipo di dati di input a un tipo di dati di output. L'input è fatto dall'utente, quindi c'è un po 'di tempo tra gli eventi. Poiché ogni input richiede il

haskell monads arrows automaton 2011-12-07

---

5calore

1risposta

Frecce/HXT e tipi di firme

Sto cercando di imparare le frecce in Haskell, quindi sto scrivendo una semplice applicazione con la libreria HXT basata su frecce per XML. Gli esempi nei wiki e nelle esercitazioni HXT forgo le firme

haskell types monads arrows hxt 2011-12-11

---

15calore

3risposta

Estrazione di una Forse valore nel IO

Dato il seguente: > (liftM2 fromMaybe) (ioError $ userError "OOPS") (return $ Just "ok") ghci mi dà *** Exception: user error (OOPS) Naturalmente, fromMaybe funziona correttamente: > (liftM2 fromM

haskell io monads maybe 2011-12-16

---

17calore

3risposta

Trasformatore Monad per il monitoraggio dell'avanzamento

Sto cercando un trasformatore monad che può essere utilizzato per tracciare l'avanzamento di una procedura. Per spiegare come sarebbe stato utilizzato, si consideri il seguente codice: procedure :: Pr

haskell functional-programming monads coroutine monad-transformers 2011-12-19

---

5calore

2risposta

Monadi Haskell e un errore che non richiede una stringa

Ho il seguente trasformatore monad per gestire gli errori in Haskell. instance (Monad m, Error e) => Monad (EitherT e m) where return = EitherT . return . return m >>= k = EitherT $ do

haskell monads monad-transformers 2011-12-22

---

7calore

2risposta

tipi esistenziale e trasformatori monade

Contesto: Sto cercando di produrre una monade errore che tiene anche traccia di un elenco di avvisi, qualcosa di simile: data Dangerous a = forall e w. (Error e, Show e, Show w) => Dangerous (Err

haskell monads monad-transformers existential-type 2011-12-22

---

11calore

1risposta

Monade in JavaScript?

Come apparirebbe un codice JavaScript di esempio che utilizza Monad? Ti sto chiedendo perché comprendere Monad è molto più chiaro se riesco a vedere un esempio di codice (e JavaScript essendo un lingu

javascript functional-programming theory monads 2011-12-28

---