Email list hosting service & mailing list manager

Re: Custom state variables Marc Nieper-Wißkirchen (14 Feb 2019 08:04 UTC)
Re: Custom state variables Marc Nieper-Wißkirchen (14 Feb 2019 09:29 UTC)
Re: Custom state variables Alex Shinn (17 Feb 2019 15:22 UTC)
Re: [scheme-reports-wg2] Re: Custom state variables Marc Nieper-Wißkirchen (17 Feb 2019 16:15 UTC)

Re: Custom state variables Marc Nieper-Wißkirchen 14 Feb 2019 09:29 UTC

Am Do., 14. Feb. 2019 um 09:03 Uhr schrieb Marc Nieper-Wißkirchen
<xxxxxx@nieper-wisskirchen.de>:

[...]

> Furthermore, SRFI 159 does not implement a general environment monad.
> In the environment monad known from other functional languages,
> monadic values can have arbitrary types; the monadic values of SRFI
> 159 (the formatters), however, have only the "void" type. A primitive
> operation for monads is "bind" (">>=" in Haskell). SRFI 159 does not
> provide this operation as for monadic values of type "void",
> "sequence" (aka ">>") suffices. [SRFI's 159 "with" is more or less
> (chibi monad environment)'s "bind", but that "bind" is not what is
> usually called "bind" when talking about monads in computer science.)

There's a typo in the last sentence. I meant to write "fn", not
"with". The corrected version is:

[SRFI's 159 "fn" is more or less (chibi monad environment)'s "bind",
but that "bind" is not what is usually called "bind" when talking
about monads in computer science.]

I'm sorry for any confusion this may have caused.

[...]