Question

此示例非常直观。 xs有3种情况，分别是空列表，仅包含1个元素的列表和包含1个以上元素的列表。

describeList :: [a] -> String  
describeList xs = "The list is " ++ case xs of [] -> "empty."  
                                               [x] -> "a singleton list."   
                                               xs -> "a longer list."

但是我迷失了以下代码

newtype State s a = StateOf{deState :: s -> (s, a)}

postInc :: State Int Int
postInc = StateOf (\i -> (i+1, i))

instance Monad (State s) where
    return a = pure a
    StateOf t >>= k = StateOf (\i0 -> case t i0 of
                                  (i1, a) -> deState (k a) i1)

我完全不知道i1和a代表什么。

Answer 1

Haskell使用两种数据结构来管理多个值：列表和元组。元组的长度是固定的，不需要是同一类型：

(1, "2") :: (Int, String)

您还可以模式匹配元组的值。仅作为示例：

nonBlank :: (Int, String) -> Bool
nonBlank tuple =
  case tuple of
    (0, _) -> False
    (_, "") -> False
    _ -> True

此行声明State，它存储一个函数，该函数接收一个参数并返回一个元组：

newtype State s a = StateOf{deState :: s -> (s, a)}

此行为此类型定义了>>=函数：

StateOf t >>= k = StateOf (\i0 -> case t i0 of
                              (i1, a) -> deState (k a) i1)

您可能对t i0感到困惑，但是实际上，当您了解t的类型是函数s -> (s, a)时，很显然t i0返回一个元组，您可以进行模式匹配。

如何理解案例表达？

1 个答案: