(Извините, я глуп и необразован, поэтому это, вероятно, смехотворный вопрос.)
Я только начал смотреть на J, и они используют термины «монадический» и «диадический» для того, что кажется (мне) унарными и бинарными операторами. Почему это делается и как это соотносится с другим местом, где я слышал этот термин (Haskell)? Я предполагаю, что это не связанные между собой омонимы, но я не уверен.