lifting

6熱

1答えて

リフトのいずれかを自動的に

のは、私はこの（間違いなく誤解を）持っているとしましょう転がっコードの一部： import System.Environment (getArgs) import Control.Monad.Except parseArgs :: ExceptT String IO User parseArgs = do args <- lift getArgs case s

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

---

6熱

1答えて

一般化されたマルチパラメータ関数のリフティングのための型抜きのトリック

高次ラムダ計算のエンコーディングでHaskell関数を持ち上げたい。これはOlegのTyped Tagless Finalのエンコーディングとほぼ同じです。 class Lam r where emb :: a -> r a (^) :: r (r a -> r a) -> (r a -> r a) lam :: (r a -> r a) -> r (r a -> r

haskell dsl typeclass lifting 2013-11-21

---

8熱

1答えて

モナドをきれいにする - モナド変圧器を新しいタイプのモナドに応用すること

ExceptT a (StateT A M)、具体的なタイプはA、モナドMとし、それらを新しいカスタムモナドにまとめます。 まず私はStateT A Mその他のコンテキストで頻繁に表示されますので、私はそれだけではモナドM1で、その後M2へExceptT a M1をラップすることをラップするのがベストだろうことを決めたことを確認しました。 所望の特性は、（それがMyMonadClass呼ばれると仮

haskell monad-transformers state-monad newtype lifting 2015-09-14

---