中文

基于 Guix 的函数式包管理

编程语言 2013-05-21 v1

摘要

我们描述了 GNU Guix 的设计与实现,这是一个纯粹的函数式包管理器,旨在支持完整的 GNU/Linux 发行版。Guix 支持事务性升级和回滚、非特权包管理、每用户配置文件以及垃圾回收。它构建于 Nix 包管理器的底层构建和部署层之上。Guix 使用 Scheme 作为其编程接口。特别是,我们设计了一种嵌入式领域特定语言(EDSL)来描述和组合包。我们展示了它如何使我们能够利用宿主通用编程语言的优势,同时不牺牲表达能力。其次,我们展示了使用 Scheme 编写构建程序,从而形成“双层”编程系统。

关键词

引用

@article{arxiv.1305.4584,
  title  = {Functional Package Management with Guix},
  author = {Ludovic Courtès},
  journal= {arXiv preprint arXiv:1305.4584},
  year   = {2013}
}

备注

European Lisp Symposium (2013)