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: OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

Reply via email to