Haskell 单子绑定操作的参数正式名称是什么？

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

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

---

参数f叫什么？活页夹？制图员？变压器

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

具有monad结构的类型定义了它对链操作的意义，

---

所以“装配线”可能是对它最好的描述。

很抱歉，这个参数被称为

f

，因为根据它的功能，任何数量的名称中都可能有一个适用。简单地说，对于您的

Monad

实例

m

，重要的是它的类型

a->mb

。正如David Yong的评论所指出的，我们可以将这种形式的事物描述为“Kleisli分类的

m

”中的箭头（或变形）。

如果没有箭头，也不会感到惊讶。。我想这是某种意义上的延续。你可以称之为克莱斯利之箭。出于好奇，我也检查了瓦德勒的原始文件，看看他是否有意要取一些有趣的名字。不，在谈到IO时，他似乎只是偶尔将其称为函数或“计算”。Klesili-arrow，而

=

只是它真正意义上的副产品）通常

k

用于

f

代表（信不信由你）继续的地方。见（）