Functional Package Management with Guix

Ludovic Courtès 1, *
* Auteur correspondant
Résumé : Nous présentons la conception et la mise en œuvre de GNU Guix, un gestionnaire de paquets purement fonctionnel pour distribution GNU/Linux. Guix permet les mises à jour et retours en arrière transactionnels, la gestion de paquets sans privilèges, des profiles par utilisateur et le ramasse-miettes. Il s'appuie sur les mécanismes de bas niveau de l'outil Nix pour la construction et le déploiement de paquets. Guix utilise le langage Scheme pour son interface de programmation. En particulier, nous définissons un sous-langage de programmation spécifique plongé dans le langage Scheme pour la définition et la composition de paquets. Nous démontrons comment cela nous permet de bénéficier du langage de programmation généraliste hôte, sans pour autant compromettre l'expressivité. Enfin, nous montrons l'utilisation de Scheme pour les programmes de construction de paquets, produisant ainsi un système de programmation à deux niveaux.
Type de document :
Communication dans un congrès
European Lisp Symposium, Jun 2013, Madrid, Spain. 2013
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00824004
Contributeur : Ludovic Courtès <>
Soumis le : lundi 20 mai 2013 - 15:33:14
Dernière modification le : lundi 9 avril 2018 - 12:20:03
Document(s) archivé(s) le : mardi 4 avril 2017 - 08:31:01

Fichiers

guix.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00824004, version 1
  • ARXIV : 1305.4584

Citation

Ludovic Courtès. Functional Package Management with Guix. European Lisp Symposium, Jun 2013, Madrid, Spain. 2013. 〈hal-00824004〉

Partager

Métriques

Consultations de la notice

620

Téléchargements de fichiers

546