正式调用monad绑定操作的参数是什么？

Question

例如，在列表monad绑定操作中：

xs >>= f = concat (map f xs)

f的论据是什么？粘合剂？映射器？变压器？

Answer 1

很抱歉是glib，但是这个参数叫做f，因为根据它的作用，可以使用任意数量的名称之一。简而言之，重要的是a -> m b实例Monad的类型m。正如David Yong的评论所指出的，我们可以将这种形式的东西描述为m＆＃34;的Kleisli类别中的箭头（或态射）。

Answer 2

根据Wiki，我引用“可编程分号”或“装配线”。

具有monad结构的类型定义了对链操作的意义， 所以“装配线”可能最能描述它。