在页面 http://www.haskell.org/haskellwiki/Pointfree#Tool_support ,它谈到了 (->) a
monad。
这个单子(monad)是什么?符号的使用使 google 变得困难。
最佳答案
这是一个 Reader monad。你可以把它想象成
type Reader r = (->) r -- Reader r a == (->) r a == r -> a
instance Monad (Reader r) where
return a = const a
m >>= f = \r -> f (m r) r
然后进行如下计算:
double :: Num r => Reader r r
double = do
v <- id
return (2*v)
关于haskell - 什么是 Haskell `(->) a` 单子(monad)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/19257009/