It would be a Good Thing if the phrase "environment/state monad" appeared somewhere in the SRFI. After all, one could have a different monad that is realized syntactically.
On Wed, Dec 13, 2023 at 4:32 PM Marc Nieper-Wißkirchen < [email protected]> wrote: > Yes, the name comes from category theory. It is an instance of the > environment/state monad but realised syntactically (so without runtime > overhead). > > Am Mi., 13. Dez. 2023 um 21:10 Uhr schrieb siiky <[email protected]>: > >> I'm also wondering what's the origin of "monad" here. Is it the monad of >> category theory? >> >> >>
