GNU Guix：用 Scheme 代码重新定义操作系统
"你的整个操作系统，应该像一段可版本控制的代码一样被管理。"
一、Guix 是什么？
GNU Guix 是 GNU 项目旗下的一个函数式包管理器和声明式操作系统构建工具。它诞生于 2012 年，由 Ludovic Courtès 发起，最初作为 Nix 包管理器的 Guile Scheme 版本出现，但很快发展出自己的独立身份和哲学。
Guix 包含两个层面：
-
Guix 包管理器 —— 可以安装在任意 GNU/Linux 发行版上，作为额外的包管理工具使用
-
Guix System（曾用名 GuixSD） —— 一个完整的、独立的 GNU/Linux 发行版，完全由 Guix 构建和管理
2026 年 1 月，Guix 发布了 1.5.0 版本，这是时隔三年后的重大更新，包含 71,338 次提交、12,525 个新软件包和 29,932 个包更新，由 744 名贡献者共同完成。
二、核心哲学：函数式包管理
Guix 的核心理念来自函数式编程。在 Guix 的世界里，一个软件包的构建被看作一个纯函数：给定相同的输入（源代码、依赖、编译器、环境变量），永远产生相同的输出。
2.1 不可变的 /gnu/store
所有软件包都安装在 /gnu/store 目录下，每个包的路径包含其所有依赖的哈希值：
/gnu/store/abc123...-gcc-15.2.0
/gnu/store/def456...-emacs-30.2
/gnu/store/ghi789...-hello-2.12.1
这意味着：
-
同一软件的不同版本可以和平共存，不会互相冲突
-
升级不会破坏现有环境，因为旧版本仍然存在
-
回滚只需切换符号链接，原子级操作
2.2 事务性操作
所有包管理操作都是事务性的：
-
要么全部成功，要么全部失败
-
升级过程中系统不会处于"半更新"的不稳定状态
-
如果升级后出现问题，可以立即回滚到之前的状态
2.3 可重复构建（Reproducible Builds）
Guix 追求逐位精确的可重复构建（bit-for-bit reproducibility）。无论何时、在何处执行相同的构建指令，都会得到完全相同的二进制结果。这对于科学研究、安全审计和持续集成至关重要。
三、Guile Scheme：用 Lisp 管理你的系统
3.1 为什么选择 Scheme？
Guix 最大的技术特色是使用 Guile Scheme（GNU 的 Scheme 实现）作为配置语言，而非 Nix 的专用领域语言（DSL）。
Guix 开发者认为，使用一门通用编程语言而非专用语言有诸多优势：
-
完整的语言特性：Guile 提供编译器、调试器、REPL（交互式解释器）、Unicode 支持、丰富的库
-
可扩展性：可以在包定义中嵌入任意逻辑，不限于 DSL 的表达能力
-
嵌入式领域特定语言（EDSL）：在 Scheme 之上构建包定义和系统配置的 DSL
-
统一性：包组合和构建脚本都用同一门语言编写，而 Nix 通常用 Nix 语言组合包、用 Bash 写构建脚本
3.2 包定义示例
一个 Guix 包定义看起来像这样：
(define-public hello
(package
(name "hello")
(version "2.12.1")
(source (origin
(method url-fetch)
(uri (string-append "mirror://gnu/hello/hello-"
version ".tar.gz"))
(sha256
(base32
"0xw6zx..."))))
(build-system gnu-build-system)
(synopsis "GNU Hello")
(description "A program to print a friendly greeting.")
(home-page "https://www.gnu.org/software/hello/")
(license gpl3+)))
3.3 系统配置即代码
Guix System 的整个操作系统配置也是一个 Scheme 表达式：
(operating-system
(host-name "my-machine")
(timezone "Asia/Shanghai")
(locale "zh_CN.utf8")
(bootloader (bootloader-configuration
(bootloader grub-efi-bootloader)
(targets '("/boot/efi"))))
(file-systems (cons (file-system
(device (file-system-label "my-root"))
(mount-point "/")
(type "ext4"))
%base-file-systems))
(users (cons (user-account
(name "alice")
(group "users")
(home-directory "/home/alice")
(shell (file-append bash "/bin/bash")))
%base-user-accounts))
(services (cons (service gnome-desktop-service-type)
%base-services)))
运行 guix system reconfigure config.scm，Guix 就会根据这个声明生成完整的操作系统。
四、Guix System：一个完整的发行版
4.1 技术栈
| 组件 |
选择 |
说明 |
| 内核 |
Linux-libre |
移除所有非自由固件的 Linux 内核 |
| 初始化系统 |
GNU Shepherd |
Guile 编写的服务管理器 |
| C 库 |
glibc |
GNU C 库 |
| 包管理器 |
Guix |
函数式包管理 |
| 构建工具 |
Guix build daemon |
隔离沙箱构建 |
| 桌面环境 |
GNOME / KDE Plasma / Xfce |
声明式服务配置 |
4.2 GNU Shepherd：Guile 编写的 init 系统
Guix System 不使用 systemd，而是使用 GNU Shepherd（前身为 GNU dmd）作为初始化系统和服务管理器。
Shepherd 的特点：
在 Guix System 1.5.0 中，Shepherd 升级到 1.0 版本，新增定时服务、kexec 重启、系统日志和日志轮转服务。
4.3 无状态设计
Guix System 追求无状态配置：
五、Guix vs Nix：两条函数式道路
Guix 和 Nix 经常被比较，因为它们共享相同的底层理念，但在实现上有显著差异：
| 特性 |
Nix / NixOS |
Guix / Guix System |
| 配置语言 |
Nix 表达式语言（专用 DSL） |
Guile Scheme（通用 Lisp） |
| 核心实现 |
C++、Perl |
Guile Scheme、部分 C++ |
| 哲学 |
实用主义，广泛采用 |
严格自由软件，用户赋权 |
| 非自由软件 |
允许（allowUnfree 选项） |
官方仓库禁止（有 Nonguix 社区渠道） |
| 包数量 |
~80,000+ |
~20,000+（精选） |
| 可重复性 |
高（Nix Flakes 改进） |
极高（逐位精确，可审计引导） |
| 安全模型 |
可覆盖的沙箱 |
更严格的沙箱，默认非特权守护进程 |
| 引导过程 |
从二进制种子构建 |
可审计引导（逐步减少信任链） |
| 治理 |
NixOS 基金会，社区驱动 |
GNU 项目 |
关键差异
1. 可审计引导（Bootstrappable Builds）
Guix 的一个独特成就是实现了几乎完全从源码自举构建。Guix 能够用极小的可信二进制种子（bootstrap binary）构建出整个系统，包括编译器本身。2024 年，Ekaitz Zárraga 在 FOSDEM 上报告了将这一支持扩展到 RISC-V 架构的进展。
2. 嫁接（Grafting）安全更新
Guix 拥有 NixOS 缺乏的嫁接功能：当某个基础库（如 OpenSSL）出现安全漏洞时，Guix 可以将修复后的新版本"嫁接"到依赖它的软件包上，而无需重新编译整个依赖树。这大大加快了安全更新的部署速度。
3. 用户环境粒度
Guix 在用户环境管理上提供更细粒度的控制，特别适合多用户系统。每个用户可以拥有完全独立的软件环境，互不干扰。
六、Guix 的生态系统
6.1 Guix Home
Guix Home 是 Guix System 的延伸，允许用户用同样的声明式方式管理个人环境：
-
点文件（dotfiles）管理
-
用户级服务（用 Shepherd）
-
个人软件包配置
-
环境变量和 Shell 配置
(home-environment
(packages (list emacs git htop))
(services (list (service home-bash-service-type)
(service home-shepherd-service-type))))
6.2 容器与虚拟机
Guix 可以轻松创建隔离环境：
-
guix shell —— 临时开发环境
-
guix environment —— 持久化环境
-
guix system vm —— 从配置文件生成虚拟机
-
guix system container —— 创建系统容器
所有环境都是纯的（pure）或增强的（augmented），确保可重复性。
6.3 远程部署
Guix 支持声明式远程部署：
(operating-system
(host-name "remote-server")
;; ...
(services (list (service nginx-service-type
(nginx-configuration
(server-blocks
(list (nginx-server-block
(listen '("80"))
(server-name '("example.com"))
(root "/var/www"))))))))
运行 guix deploy，Guix 会自动将配置应用到远程机器。
七、最新发展（2026 年）
7.1 Guix 1.5.0 亮点
2026 年 1 月发布的 1.5.0 版本带来了重大更新：
-
KDE Plasma 6.5 正式可用，新增 plasma-desktop-service-type
-
GNOME 46，默认使用 Wayland
-
GNU Shepherd 1.0，支持定时服务、kexec 重启
-
40+ 新系统服务：Forgejo Runner、RabbitMQ、iwd、dhcpcd 等
-
GCC 15.2.0、Emacs 30.2、LLVM 21.1.8、Linux-libre 6.17.12
-
迁移到 Codeberg，采用 Pull Request 工作流
-
年度发布周期确立
7.2 社区与治理
Guix 采用共识决策流程（Consensus Decision Making），重大变更通过 Guix Consensus Documents（GCDs）进行讨论和投票。项目还启动了筹款活动以支持基础设施。
八、适用场景
适合谁？
学习曲线
Guix 的学习曲线主要来自：
-
Scheme/Lisp 语法：括号、前缀表达式、函数式思维
-
函数式包管理理念：与传统包管理器（apt、pacman）截然不同的范式
-
声明式配置思维：从"我做了什么"转变为"我想要什么"
但 Guix 的 REPL 和 Emacs 集成（通过 Geiser）提供了强大的交互式开发体验，可以实时验证配置。
九、与其他系统的对比
| 系统 |
内核 |
包管理 |
配置语言 |
初始化系统 |
哲学 |
| Guix System |
Linux-libre |
Guix（函数式） |
Guile Scheme |
GNU Shepherd |
严格自由软件 |
| NixOS |
Linux |
Nix（函数式） |
Nix 语言 |
systemd |
实用主义 |
| HyperbolaBSD |
OpenBSD 硬分叉 |
hyperman |
- |
runit |
完全自由软件 |
| Chimera Linux |
Linux |
APK |
- |
Dinit |
非 GNU Linux |
| GNOME OS |
Linux |
Flatpak |
- |
systemd |
GNOME 参考平台 |
| KDE Linux |
Linux |
Flatpak/Snap |
- |
systemd |
KDE 参考平台 |
| Redox OS |
自研微内核 |
pkg |
Rust |
- |
内存安全 |
十、结语
GNU Guix 代表了操作系统管理的一种激进但优雅的范式：
你的操作系统不应该是一堆手动安装的软件和配置文件，而应该是一段可版本控制、可审计、可回滚的代码。
Guix 用 Scheme 的优雅和函数式编程的严谨，将这一愿景变为现实。它不是最简单的选择，但对于那些愿意拥抱 Lisp 世界和声明式思维的用户来说，Guix 提供了一种前所未有的系统控制力和可预测性。
正如 Guix 的标语所说："GNU Guix: 功能包管理"——这里的"功能"（functional）既是函数式编程的含义，也暗示了系统的每一个功能都被精确地定义和管理。
相关资源