单子 (>>) :: Monad m => m a -> m b -> m b
运算符是众所周知的。我想知道它的名称。
- 在this Haskell tutorial和this one中,他们称这个操作符为"then"。这是一个不错的名字,在
do
-notation方面非常合理。一个小缺点是与三元运算符的then冲突。 - 在我的母语Haskell传统中,我们称之为"усечённое связывание",翻译为"truncated bind"。在俄语中可能有些不便,因为它会与"bind's section"的翻译产生冲突,但我没有看到英文中有类似的问题。有人在英文中使用这样的名称或类似的名称吗?一种诗意的表述可能是"frustum"。
是否有人对这个操作符使用其他名称?哪个是首选?
<*
区分开来,无论如何。我使用 "then" 或 "and then" 来表示>>
和*>
,并使用 "before" 来表示<*
。 - dfeuer