几乎可以表示您想要的任何类型。但由于每种类型的一元操作的实现方式都不同,所以not可以写>>=
一次并让它适用于每个实例。
然而,你can编写依赖于的通用函数evidence类型类的实例。考虑e
这里是一个元组,其中fst e
包含“绑定”定义,并且snd e
包含“返回”定义。
bind = λe. fst e -- after applying evidence, bind looks like λmf. ___
return = λe. snd e -- after applying evidence, return looks like λx. ___
fst = λt. t true
snd = λt. t false
-- join x = x >>= id
join = λex. bind e x (λz. z)
-- liftM f m1 = do { x1 <- m1; return (f x1) }
-- m1 >>= \x1 -> return (f x1)
liftM = λefm. bind e m (λx. return e (f x))
然后,您必须为 Monad 的每个实例定义一个“证据元组”。请注意,我们定义的方式bind
and return
:它们的工作方式就像我们定义的其他“通用”Monad 方法一样:必须首先给出它们evidenceMonad-ness,然后它们按预期运行。
我们可以代表Maybe
作为一个需要 2 个输入的函数,第一个是要执行的函数,如果它是Just x
,第二个是如果为 Nothing 则替换它的值。
just = λxfz. f x
nothing = λfz. z
-- bind and return for maybes
bindMaybe = λmf. m f nothing
returnMaybe = just
maybeMonadEvidence = tuple bindMaybe returnMaybe
列表类似,将列表表示为它的折叠函数。因此,列表是一个需要 2 个输入的函数,一个“cons”和一个“empty”。然后它执行foldr myCons myEmpty
在名单上。
nil = λcz. z
cons = λhtcz. c h (t c z)
bindList = λmf. concat (map f m)
returnList = λx. cons x nil
listMonadEvidence = tuple bindList returnList
-- concat = foldr (++) []
concat = λl. l append nil
-- append xs ys = foldr (:) ys xs
append = λxy. x cons y
-- map f = foldr ((:) . f) []
map = λfl. l (λx. cons (f x)) nil
Either
也很简单。将任一类型表示为具有两个函数的函数:如果它是一个函数,则应用一个函数Left
,如果它是一个则要申请另一个Right
.
left = λlfg. f l
right = λrfg. g r
-- Left l >>= f = Left l
-- Right r >>= f = f r
bindEither = λmf. m left f
returnEither = right
eitherMonadEvidence = tuple bindEither returnEither
别忘了,函数他们自己 (a ->)
形成一个单子。 lambda 演算中的所有内容都是一个函数...所以...不要想得太难。 ;) 直接从源头获得灵感控制.Monad.实例 http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Control-Monad-Instances.html
-- f >>= k = \ r -> k (f r) r
bindFunc = λfkr. k (f r) r
-- return = const
returnFunc = λxy. x
funcMonadEvidence = tuple bindFunc returnFunc