Questions tagged «monads»

由于State monad可分解为乘积（左-函子）和阅读器（右-可表示）。 有没有一种方法可以使Continuation Monad分解？下面的代码是我的尝试，它不会类型检查 -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type (<-:) o i = i -> o -- I Dont think we can have Functor & Representable for this type synonym class Isomorphism a b where from :: …

11 haskell  monads  continuations  category-theory  comonad 

我正在尝试定义状态机家族，它们的状态有些不同。特别地，更“复杂”的状态机具有通过组合更简单的状态机的状态而形成的状态。 （这类似于面向对象的设置，其中对象具有多个属性，这些属性也是对象。） 这是我要实现的简化示例。 data InnerState = MkInnerState { _innerVal :: Int } data OuterState = MkOuterState { _outerTrigger :: Bool, _inner :: InnerState } innerStateFoo :: Monad m => StateT InnerState m Int innerStateFoo = do i <- _innerVal <$> get put $ MkInnerState (i + 1) return i outerStateFoo …

9 haskell  state  monads  monad-transformers  state-monad 

我真的很难理解callCC。我拥有Continuations的力量，并且在我的一些项目中一直在使用该概念来创建很酷的概念。但是我从来没有必要使用功能比cont :: ((a->r)->r)-> Cont r a。 在使用它之后，很有意义，为什么他们将Cont Monad称为所有Monad的母亲，是的，我不知道何时需要使用callCC，这正是我的问题。

9 haskell  functional-programming  monads