[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Struggling to write Dissecting Guix, Part 2
From: |
( |
Subject: |
Struggling to write Dissecting Guix, Part 2 |
Date: |
Wed, 25 Jan 2023 07:12:45 +0000 |
Hello Guix,
I've been struggling to write Part 2 of Dissecting Guix; I'm just not sure
where to start to
explain monads.
It's hard for a variety of reasons, those being that:
- Guile has no type system, so you can't express monads in terms of types
- Guix doesn't implement very many monads (only state, identity, and store),
so it's
difficult to explain with a simpler monad, as there are no simpler monads
- Guix doesn't have functors or monoids either, so it's hard to
"progressively" explain
first functors, then monoids, then monads
- Monads are just difficult in general :P
Any suggestions? :/
-- (
signature.asc
Description: PGP signature