J Notation as a Tool of Thought
The article has the footnote<p>> APL was the first language to use “monad” as a term. The popular FP meaning only appeared thirty years later.<p>in its, to me odd, use of the word "monad". This is incorrect. The "popular FP meaning" arose because it's a very special case of the standard concept from mathematics [1]. The mathematical terminology harkens back to the 1950s, and thus predates APL.<p>In Haskell, a monad is precisely a monad in the mathematical sense in the special case of the category of Haskell types (which, due to technical complications isn't exactly a perfect model for the actual Haskell types, but it's pretty close). It thus seems dishonest to me to refer to this use of the word "monad" as somehow being newer than APL's use.<p>[1] <a href="https://en.wikipedia.org/wiki/Monad_(category_theory)" rel="nofollow">https://en.wikipedia.org/wiki/Monad_(category_theory)</a>