问J中的术语“一元”和它的Haskell用法有关系吗？

EN

它们是不相关的；C. A. McCann指出了两者的词源。

在任何情况下，Haskell的使用，当然，来自范畴理论，并被认为是一个独立的创造与other senses of monad无关。

事实上，“一元”的J意义可以追溯到APL，它比Haskell早四分之一个世纪！我认为它也可能早于该术语的范畴理论的使用。

它们是不相关的，除非它们都源于希腊语中"one“的词根。一元函数和二元函数实际上是一元函数和二元函数的术语。具体地说，它们是从希腊派生的等价物--使用-adic而不是-ary。以单词"triad“为例，该词也源于希腊语。

Haskell使用的Monad有an unclear etymology，但可能是从"monoid“派生出来的。

不过，我鼓励在Haskell中使用源自拉丁语的"n-ary“术语。从技术上讲，Haskell中的所有函数都有一个参数，因为使用了currying，所以使用从希腊派生的形式可能会产生任意数量的混乱。

Adicity (或adinity)是的另一种选择，使用希腊数字根而不是拉丁语：

• niladic/medadic = nullary
• monadic =一元
• 二元=二进制
• 三元=nullary
• monadic=四元
• …

单子在哲学、宗教、生物学、范畴论和函数式编程中的各种含义都是从其“单位”的字面表示中独立派生出来的。Haskell项可能源于，这是一种相当于加法单子的代数结构。