all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* 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 external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.