[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Planet of Guix-related posts?
From: |
André A . Gomes |
Subject: |
Re: Planet of Guix-related posts? |
Date: |
Wed, 12 Jan 2022 08:17:41 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Matt <matt@excalamus.com> writes:
> ---- On Mon, 10 Jan 2022 10:21:51 -0500 zimoun <zimon.toutoune@gmail.com>
> wrote ----
>
> > (On a side note between parenthesis, we should avoid to fall into the
> > "Package Definition" tutorial fallacy; as explained here for monads
> >
> https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/.
> > And I wrote one post about monad and another about Packaging. ;-)
> > However, I think the official documentation has enough materials for
> > starting to package. End of parenthesis.)
>
> If many people feel inclined to write their own packaging tutorial,
> it's probably an indication that the manual isn't sufficient. I would
> urge you and others to not fall into the "don't touch it because it's
> good enough for me fallacy". Others may, and probably do, see things
> differently.
I'd say it indicates that everyone has their own way of assimilating
ideas. Often times we map things in our minds by means of
simplifications, abuses of languages, imprecisions, etc.
--
André A. Gomes
"Free Thought, Free World"
- Re: Guix Documentation Meetup, (continued)
- Re: Guix Documentation Meetup, Matt, 2022/01/09
- Re: Guix Documentation Meetup, André A . Gomes, 2022/01/10
- Re: Guix Documentation Meetup, Matt, 2022/01/10
- Re: Guix Documentation Meetup, André A . Gomes, 2022/01/10
- Re: Guix Documentation Meetup, Matt, 2022/01/11
- Re: Guix Documentation Meetup, Leo Famulari, 2022/01/12
- Re: Guix Documentation Meetup, Matt, 2022/01/12
- Planet of Guix-related posts?, zimoun, 2022/01/10
- Re: Planet of Guix-related posts?, Matt, 2022/01/11
- Re: Planet of Guix-related posts?, Matt, 2022/01/11
- Re: Planet of Guix-related posts?,
André A . Gomes <=
- Re: Planet of Guix-related posts?, Ricardo Wurmus, 2022/01/12
- Re: Planet of Guix-related posts?, Oliver Propst, 2022/01/12
- Re: Planet of Guix-related posts?, Ricardo Wurmus, 2022/01/12
- Re: Guix Documentation Meetup, Leo Famulari, 2022/01/12
- Re: Guix Documentation Meetup, ilmu, 2022/01/13
Re: Guix Documentation Meetup, Matt, 2022/01/08
Re: Guix Documentation Meetup, Josselin Poiret, 2022/01/08