请帮助我理解以下定义:
newtype Writer w a = Writer { runWriter :: (a,w) }
instance (Monoid w) => Monad (Writer w) where
return a = Writer (a,mempty)
(Writer (a,w)) >>= f = let (a',w') = runWriter $ f a in Writer (a',w `mappend` w')
为什么 runWriter 被声明为
runWriter :: (a,w)
当它的实际类型是:
runWriter :: Writer w a -> (a, w)
一旦我尝试使用 ghci,我意识到这一定是一些隐含的论点,因为必须确定类型“a”,但这里到底发生了什么?
最佳答案
因为runWriter
是 Writer
上的记录字段访问器.它实际上几乎等同于
runWriter (Writer x) = x
Haskell 有记录可以提供
例如
someWriter{runWriter = (new, values)} -- Returns a new Writer.
如果它有帮助,请将其视为最粗略意义上的“功能性 setter/getter ”。这对于 1 个字段可能看起来不是很重要,您始终可以进行模式匹配,但是当您有 5 个字段时,记录 + 功能更新非常有用。见 LYAH以获得更深入的解释。
关于Haskell 新类型语法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17600168/