为什么`\ x - > fxx` =`加入f`？

Question

我最近发现了自由\x -> f x x点join f,并且想要了解原因.我从这里开始:

join :: Monad m => m (m a) -> m a

因为我不熟悉"函数monad"而感到难过.有人可以帮助我解释平等的类型推导吗？

Answer 1

这是Monad ((->) r)类型级别的非常简单的代数转换.注意我们专注并简化类型join.

join :: Monad m => m        (m        a)  -> m        a
join ::            ((->) r) (((->) r) a)  -> ((->) r) a  -- Specializing
join ::            (r ->    (r ->     a)) -> (r ->    a) -- Infix
join ::            (r ->     r ->     a)  -> r  ->    a  -- Simplifying