小编Pis*_*tor的帖子

我正在尝试使用scanlHaskell 中的函数。我已经缩小了我的问题范围，可以在以下两种情况下描述，可以使用 Haskell 中的普通库在解释器中运行，该库包含（scanl请注意，我不一定对这里的 Monadic 值感兴趣，但只是如何用于scanl确保类型一致性）：

为什么以下预先列出Right value的工作有效：

*Defs> scanl (\x acc -> x ++ acc) [] [[(Right 1)], [(Right 2)]]  
[[],[Right 1],[Right 1,Right 2]]

当这不起作用并导致以下错误消息时：

*Defs> scanl (\x acc -> [x] ++ acc) [] [(Right 1), (Right 2)]

<interactive>:36:35: error:
    * Couldn't match expected type `[[a]]'
                  with actual type `Either a0 b0'
   ...

我正在努力擅长 Monad，并编写了以下 Monad 和函数，其中我使用了>>(in the apply-function)，尽管它没有在 Monad 本身中声明。为什么可以编译，据我了解http://learnyouahaskell.com/a-fistful-of-monads#walk-the-line需要在 Monad 的实例化中声明它，就像Maybe Monad。

data Value =
    NoneVal
  | TrueVal | FalseVal
  | IntVal Int
  | StringVal String
  | ListVal [Value]
  deriving (Eq, Show, Read)

data RunErr = EBadV VName | EBadF FName | EBadA String
  deriving (Eq, Show)

newtype CMonad a = CMonad {runCMonad :: Env -> (Either RunErr a, [String]) }

instance Monad CMonad where
  return a = CMonad (\_ -> (Right a, [])) …

我目前正在“接触单子”（http://learnyouahaskell.com/a-fistful-of-monads#getting-our-feet-wet-with-maybe），并且仍在为这个概念的一部分而苦苦挣扎。我理解那里提到的 Maybe monad，并且可以看到如何调用它，如下所述：

ghci> return "WHAT" :: Maybe String  
Just "WHAT"  
ghci> Just 9 >>= \x -> return (x*10)  
Just 90  
ghci> Nothing >>= \x -> return (x*10)  
Nothing  

然而，如果我用自己的类型声明我自己的实例，我该如何调用我自己的 monad 实例而不是可能的实例，如下所示：

newtype CustomM a = CustomM {runCustomM:: a -> String}


instance Monad CustomM where
  return a = CustomM (\a -> mempty)
  m >>= f = CustomM (\a -> mempty)


instance Functor CustomM where 
  fmap = liftM 
instance Applicative CustomM where 
  pure = return; (<*>) = ap

使用 …

newtypes在 Haskell 中，我尝试调用我已声明的以下两个。

为什么这有效：

newtype CharList = CharList { get2CharList :: [Char] } deriving (Eq, Show)   

ghci> CharList "some"    
CharList {get2CharList = "some"}

当这不起作用时：

newtype Pair a b = Pair { createPair :: (a, b) } deriving (Eq, Show)

ghci> Pair 2 4
<interactive>:13:1: error:
    * Couldn't match expected type: t0 -> t
                  with actual type: Pair a0 b0
    * The function `Pair' is applied to two value arguments,
        but its type `(a0, b0) -> Pair a0 b0' has …

<*我在 Haskell库中遇到过readP几次，但我还不确定它的作用，并且在库文档中找不到它。与 一样吗<++？

我研究了这个，试图理解几个转换器单子如何相互作用，特别是更好地理解单子lift并与单子堆叠。

对于这里找到的 RWST monad （我认为这是最好的文档），它是一个堆叠的 monad，其中 Reader、Writer、State 都是一个 Monadic 层（并且按照堆叠顺序）。或者说应该如何理解呢？当我查看定义时，runRWST :: r -> s -> m (a, s, w)我将其理解为将读取器环境作为状态环境并将任何单子包装在 的m返回值周围RWS。这也意味着这个monad中只存在两层monad。即外部 monadm和包含多个 monad 的元组。

这反过来也意味着您只能使用lift一次。将读取器或状态单子中的值提升到外部单子中。

从这个意义上说get， 和ask只是应用两个内部单子之一的两个函数。对于最后一点，我仍然不确定我是否理解为什么即使阅读了这篇 stackoverflow 帖子，您仍然需要一个reader和一个state -monad 。我猜读者只对只读有意义，但如果不希望这样，可以在两个单独的状态单子周围使用变压器单子吗？

type MyRWST a = RWST
                 (String -> Either String …