P189最下面countCard的point-free写法错误

[youwillbe]

pure . length的类型是CardStack -> State CardStack Int
此处应为

countCards :: State CardStack Int
countCards = State $ length >>= (,)

[SnowOnion]

同意。
此外，也可以朴素地 countCards = State $ \s -> (length s, s)，也可以用后面定义的

gets :: (s -> a) -> State s a
gets f = State $ \s -> (f s, s)

来写成 countCards = gets length 。

[winterland1989]

看起来修正版的计划得赶紧提上日程啦