¿El término "monádico" en J tiene algo que ver con su uso de Haskell?

Question

(Lo siento, soy estúpida y sin educación, así que esto es probablemente una pregunta ridícula.)

simplemente me puse a buscar en J, y utilizan los términos "monádicos" y "diádicas" por lo que parece (a mí) ser operadores unarios y binarios. ¿Por qué se hace esto y cómo se relaciona con el otro lugar donde escuché el término (Haskell)? Supongo que son homónimos no relacionados, pero no estoy seguro.

Answer 1

No están relacionados; C. A. McCann señala las etimologías de ambos.

En cualquier caso, el uso de Haskell, por supuesto, proviene de la teoría de categorías, y se cree que es una acuñación independiente no relacionada con el other senses of monad.

De hecho, el sentido J de "monádico" se remonta a APL, que es anterior a Haskell en un cuarto de siglo. Creo que también podría ser anterior al uso de la teoría de categorías del término.

Answer 2

No, el uso de J no tiene nada que ver con el término de Haskell. Las funciones monádicas y diádicas son funciones de uno y dos argumentos, respectivamente.

Los términos J se originan en APL, que es un poco más antiguo que Haskell, pero rara vez los he visto usar así fuera de la familia APL.

Un ejemplo del uso de estos términos en un contexto no APL es del libro Clean Code, que en el capítulo sobre funciones habla de funciones niladic, monádica y diádica.

Answer 3

No están relacionados, excepto por ambos derivados de la raíz griega de "uno". Monádica y diádica son sin duda términos para funciones unarias y binarias. Específicamente, son los equivalentes derivados de griego, que usan -adic en lugar de -ary. Considere la palabra "tríada", que también deriva de griego.

Monad en el sentido que Haskell lo usa tiene an unclear etymology pero probablemente se deriva de "monoid".

Sin embargo, recomendaría seguir con los términos "n-arios" derivados de latín en Haskell. Todas las funciones en Haskell tienen técnicamente un argumento debido al currying, así que usar la forma derivada de Griego podría producir cantidades arbitrarias de confusión.

Answer 4

Adicity (o adinity) es una alternativa a arity, usando raíces numeración griega en lugar del latín:

• niládica/medadic = nularia

• monádico = unario

• dyadic = binario

• triádica = ternaria

• tetrádica = cuaternario

• ...

Los diversos significados de mónada en la filosofía, la religión, la biología, la teoría de la categoría, y la programación funcional son todo derivado por separado, de su denotación literal de una "unidad". El término Haskell probablemente se deriva de monoid, una estructura algebraica equivalente a una mónada aditiva.