On the same topic, check out this how-to on software development with Guix from the Cookbook (author here):

https://guix.gnu.org/cookbook/en/html_node/Software-Developm...

The idea was to show that there are several "levels" to take advantage of Guix for development, where the `guix.scm` file in David Thompson's blog post is the first level.