I know what a monad is in APL. (APL is the second computer language I learned, following Fortran IV.)
I know that "Monads come out of the sky and they stand there." from Yes.
dictionary.com tells me that monad is
1. Biology.
any simple, single-celled organism.
any of various small, flagellate, colorless ameboids with one to three flagella, especially of the genus Monas.
2. Chemistry.
an element, atom, or group having a valence of one.
Compare dyad (def 3), triad (def 2a).
3. Philosophy.
(in the metaphysics of Leibniz) an unextended, indivisible, and indestructible entity that is the basic or ultimate constituent of the universe and a microcosm of it.
(in the philosophy of Giordano Bruno) a basic and irreducible metaphysical unit that is spatially and psychically individuated.
any basic metaphysical entity, especially having an autonomous life.
4. a single unit or entity.
I liked this article. It was well-written and easy to understand. I thought I might have learned something about a stumbling block which I encounter every time I try to learn what FP is about.
coolsunglasses then says that the article is all wrong but gives very little information about what FP monads really are.
> It's a useful pattern that can be reified in a sufficiently expressive type system.
Is that not usually called a template?
All of my programs were functional. If they didn't function, I would not have been paid.
I know what a monad is in APL. (APL is the second computer language I learned, following Fortran IV.)
I know that "Monads come out of the sky and they stand there." from Yes.
dictionary.com tells me that monad is
1. Biology.
any simple, single-celled organism.
any of various small, flagellate, colorless ameboids with one to three flagella, especially of the genus Monas.
2. Chemistry.
an element, atom, or group having a valence of one. Compare dyad (def 3), triad (def 2a).
3. Philosophy.
(in the metaphysics of Leibniz) an unextended, indivisible, and indestructible entity that is the basic or ultimate constituent of the universe and a microcosm of it.
(in the philosophy of Giordano Bruno) a basic and irreducible metaphysical unit that is spatially and psychically individuated.
any basic metaphysical entity, especially having an autonomous life.
4. a single unit or entity.
I liked this article. It was well-written and easy to understand. I thought I might have learned something about a stumbling block which I encounter every time I try to learn what FP is about.
coolsunglasses then says that the article is all wrong but gives very little information about what FP monads really are.
> It's a useful pattern that can be reified in a sufficiently expressive type system.
Is that not usually called a template?
All of my programs were functional. If they didn't function, I would not have been paid.