haskell - J 中的术语 "monadic"与它的 Haskell 使用有关吗？

Question

(对不起，我很愚蠢，没有受过教育，所以这可能是一个 absurd 的问题。)

我刚开始研究 J，他们使用术语“一元”和“二元”来表示(对我而言)似乎是一元和二元运算符。为什么要这样做，它与我听说过的另一个地方(Haskell)有什么关系？我的猜测是它们是不相关的同音异义词，但我不确定。

Answer 1

它们是无关的，除了两者都源自希腊语的“一”字根。一元和二元确实是一元和二元函数的术语。具体来说，它们是源自希腊语的等价物——使用 -adic 而不是 -ary。考虑“三合会”这个词，它也是源自希腊语。

在 Haskell 使用的意义上 Monad 有 an unclear etymology但可能源自“monoid”。

不过，我鼓励在 Haskell 中坚持使用源自拉丁语的“n-ary”术语。由于柯里化(Currying)，Haskell 中的所有函数在技术上都有一个参数，因此使用源自希腊语的形式可能会产生任意数量的混淆。