* Store Functor and Store Applicative
@ 2022-09-18 14:51 jgart
2022-09-18 17:36 ` Maxime Devos
2022-09-19 7:50 ` zimoun
0 siblings, 2 replies; 3+ messages in thread
From: jgart @ 2022-09-18 14:51 UTC (permalink / raw)
To: Guix Devel
Hi Guixers,
Why does Guix implement a monad but not a functor and an applicative?
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Store Functor and Store Applicative
2022-09-18 14:51 Store Functor and Store Applicative jgart
@ 2022-09-18 17:36 ` Maxime Devos
2022-09-19 7:50 ` zimoun
1 sibling, 0 replies; 3+ messages in thread
From: Maxime Devos @ 2022-09-18 17:36 UTC (permalink / raw)
To: jgart, Guix Devel
[-- Attachment #1.1.1: Type: text/plain, Size: 369 bytes --]
On 18-09-2022 16:51, jgart wrote:
> Hi Guixers,
>
> Why does Guix implement a monad but not a functor and an applicative?
To my knowledge:
Functor: all monads are automatically functors, if someone would like a
functor interface, they can implement 'lift' and 'fmap' when needed.
There just hasn't been a need yet.
Applicative functors: likewise.
[-- Attachment #1.1.2: OpenPGP public key --]
[-- Type: application/pgp-keys, Size: 929 bytes --]
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 236 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Store Functor and Store Applicative
2022-09-18 14:51 Store Functor and Store Applicative jgart
2022-09-18 17:36 ` Maxime Devos
@ 2022-09-19 7:50 ` zimoun
1 sibling, 0 replies; 3+ messages in thread
From: zimoun @ 2022-09-19 7:50 UTC (permalink / raw)
To: jgart, Guix Devel
Hi,
On Sun, 18 Sep 2022 at 09:51, jgart <jgart@dismail.de> wrote:
> Why does Guix implement a monad but not a functor and an applicative?
From my understanding, because an appropriate and straightforward
abstraction for the store is the State Monad.
Maybe the implementator of the monadic stuff in Guix read right before
this [1]. :-)
1: <https://okmij.org/ftp/Scheme/monad-in-Scheme.html>
Cheers,
simon
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2022-09-19 8:19 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-18 14:51 Store Functor and Store Applicative jgart
2022-09-18 17:36 ` Maxime Devos
2022-09-19 7:50 ` zimoun
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).