Bob, I went to wikipedia.org and found the following links. https://en.wikipedia.org/wiki/Monadic where it says "Monadic, a relation or function having an arity of one in logic, mathematics, and computer science" and where the `arity` link https://en.wikipedia.org/wiki/Arity is used instead of J's term `valence` which wikipedia associates with chemistry.
The disambiguation link on the above page suggests https://en.wikipedia.org/wiki/Monad_(functional_programming) It begins, "In functional programming, a monad is a design pattern[1] that allows structuring programs generically while automating away boilerplate code needed by the program logic. Monads achieve this by providing their own data type, which represents a specific form of computation, along with one procedure to wrap values of any basic type within the monad (yielding a monadic value) and another to compose functions that output monadic values (called monadic functions)." But, I agree with Raul that the distinction between J's and functional programming's use of monad is a footnote, and likely not much more. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
