[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Store Functor and Store Applicative
From: |
Maxime Devos |
Subject: |
Re: Store Functor and Store Applicative |
Date: |
Sun, 18 Sep 2022 19:36:34 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.12.0 |
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.
OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature