Thoughts and questions from a newcomer

[Andrew Erlanger <andrew.erlanger@gmail.com>]

Hello, Guix users,

After a bit of love, I've got most of my personal computing environment
running in GuixSD. As I get more comfortable with the system, I hope to
naturally become a developer.

At this point, I have a few thoughts and questions, which I'm looking
for some feedback on, especially where I'm misguided.

It seems that the main problem Guix is trying to address is about state
and side-effects. In modern computers, a program running over here
can affect the execution of a completely unrelated program running over
there because of side-effects. The result is a large amount of
unnecessary complexity. Effectively, the programs have many, many
inputs, and with feedback loops between components, the system can
exhibit chaotic behaivor.

If I'm not mistaken, Guix attempts to provide a way of building
programs so that all inputs to the build process are known exactly.
Assuming that the build is a deterministic process (which I
hope it is!), this ensures that the resuling executables are not
tainted by side-effects.

The main thing that has been confusing me about this process is in
dealing with configuration files. Clearly the state of a program such
as, for example, wpa_supplicant, depends on the configuration file used
to start the process. So, if we are trying to effectively declare the
state-machine of wpa_supplicant using Guile, shouldn't the config file
be part of the Guile definition of wpa_supplicant?

My main draw to Guix was my frustration with configuring Gentoo and
other distros. After I spend a day exactly configuring a system, I want
the state which I set up to be _exactly_ reproducible anytime I want.
But clearly I don't need all the information of the entire disk image
to reproduce that exact state; I just need a few configuration files
worth of information.

If I can't include the contents of configuration files as an input to a
package build, then I can't really capture the state-machine of the
package with a single declaration. I have to then use something like
stow and git to manage my config, which is not really solving the
problem.

On the other hand, it seems that Guix might be more about mitigating
side-effects rather than declaring state. So, which is it?

Thanks for reading,

Andrew