lifting

6calore

1risposta

ascensore O per Exceptt automaticamente

Diciamo che ho questo (forse indurre in errore) pezzo di codice, che in giro: import System.Environment (getArgs) import Control.Monad.Except parseArgs :: ExceptT String IO User parseArgs = d

haskell monads monad-transformers either lifting 2016-01-04

---

13calore

1risposta

sollevamento una funzione di ordine superiore in Haskell

sto cercando di costruire una funzione di tipo: liftSumthing :: ((a -> m b) -> m b) -> (a -> t m b) -> t m b dove t è un trasformatore monade. In particolare, io sono interessato a fare questo: lift

haskell higher-order-functions lifting 2012-02-11

---

6calore

1risposta

Confusione con le funzioni di sollevamento in Scala

Nel libro Functional Programming In Scala, c'è un esempio di "Sollevamento" in cui una funzione con tipo A => B viene promossa a Option[A] => Option[B]. Questo è il modo di sollevamento viene implemen

scala type-inference higher-order-functions map-function lifting 2013-06-22

---

6calore

1risposta

trucchi per Typeclass generalizzata funzione multi-parametro sollevamento

Per sollevare una funzione Haskell in una codifica lambda calcolo di ordine superiore. Questo è preso quasi alla lettera dalla codifica Typless Tagless Final di Oleg. class Lam r where emb :: a -

haskell dsl typeclass lifting 2013-11-21

---

7calore

1risposta

Transformation under Transformers

Al momento sto avendo un po 'di difficoltà con i trasformatori monad. Sto definendo alcune diverse relazioni non deterministiche che fanno uso di trasformatori. Sfortunatamente, ho difficoltà a capire

haskell monads lifting 2013-05-14

---

6calore

3risposta

Quali sono i passaggi per dedurre questo codice pointfree?

stavo rivedendo un po 'di codice e sono imbattuto nel seguente gemma, che scommetto è un copia-incolla di pointfree uscita: (ho pensato che il seguente sarebbe più appropriata rispetto alla solita foo

haskell pointfree lifting 2014-11-19

---