Che cosa significa "poliadico" nel contesto della programmazione funzionale e dei sistemi di tipi?

È molto semplice da capire.

• Una funzione che accetta zero argomenti è chiamata funzione niladica .
• Una funzione che accetta solo un argomento è chiamata funzione monadica .
• Una funzione che accetta due argomenti è chiamata funzione diadica .
• Una funzione che accetta tre argomenti che chiama funzione triadic .
• Una funzione che accetta più argomenti è chiamata funzione poliadica .
• Una funzione che accetta un numero variabile di argomenti è chiamata funzione variadic .

In che modo questo si riferisce alla polimorfia? Imho non si riferisce affatto alla polimorfia. Penso spesso che poliadici e variadici siano sostituibili. Vedi wikipedia per ulteriori informazioni.

In che modo si riferisce alla programmazione funzionale?

Penso che la seguente citazione di wikipedia sais tutto:

There are many mathematical and logical operations that come across naturally as variadic functions. For instance, the summing of numbers or the concatenation of strings or other sequences are operations that can logically apply to any number of operands.