La distribution NixOS sort en version printemps‐été 17. Cette distribution GNU/Linux, fondée sur le gestionnaire de paquets Nix propose une gestion « purement fonctionnelle » des paquets et services GNU/Linux. Une dépêche un peu ancienne, mais toujours d’actualité, en décrit les principes de fonctionnement ; certains points ont été développés par la suite.

Cette version comprend son lot de nouveautés :

• il est désormais possible d’utiliser un système de surcouches (ou overlays) pour ajouter ses propres paquets (ou versions de paquets) à la distribution ;
• de nouvelles versions pour de nombreux paquets, comme par un noyau Linux 4.9, Firefox 52 ou encore KDE / Plasma 5.8.6 ;
• plein de nouveaux services et d’améliorations, notamment en termes de sécurité.

Le prochain Colloquium d'informatique de l'UPMC Sorbonne Universités sera intitulé : « Les informaticiennes, de la dominance de classe aux discriminations de sexe » et présenté par Isabelle Collet de l’université de Genève.

L'exposé aura lieu Mardi 24 Novembre 2015 à 18h à la fac Jussieu, Amphi 25
(Université Pierre et Marie Curie - Jussieu Campus - 4, place Jussieu - Paris Vème - métro Jussieu).

Le projet NixOS a sorti le 30 décembre 2014 une version de sa distribution Linux, la 14.12 ou « Caterpillar » de son petit nom. Cette distribution, « The Purely Functional Linux Distribution », est fondée sur le système de paquets Nix et la collection de paquets Nixpkgs. Nix et Nixpkgs sont utilisables avec d'autres systèmes : Linux, OS X, voire FreeBSD.

Nix permet de gérer son système « sans effets de bord », ce qui permet notamment : des mises à jours réversibles, l'installation de paquets sans droits root, le déploiement distribué, les mélanges de paquets sources et binaires.

Quelques mots d'introduction :

• Nix est un système de paquets
• nixpkgs la collection de paquets associée
• NixOS la distribution construite avec nix et nixpkgs
• Guix est un dérivé GNU de Nix

 

Nix permet d'utiliser des paquets sources, comme sous Gentoo ou Arch, mais aussi des paquets binaires plus traditionnels. Comme presque tous les systèmes de gestion de paquets, il permet la gestion des dépendances entre paquets. Ses principes de fonctionnement originaux lui permettent d'implémenter de façon sûre des fonctionnalités souvent peu stables ou absentes des autres gestionnaires de paquets, notamment : installation de paquets dans le répertoire des utilisateurs, déploiement distribué, mélanges paquets sources et binaires et mises à jour réversibles. Il s'agit de la poursuite par la communauté du travail commencé par Eelco Dolstra dans sa thèse à la Technische Universiteit de Delft. La version 14.04 de NixOS est sortie le premier mai.

Cette dépêche présentera l'écosystème Nix, puis les nouveautés de nixpkgs et NixOS 14.04, de Nix 1.7 ainsi que Guix, le dérivé GNU de Nix.

Ghc, le Glorious Haskell Compiler est sorti le 9 avril 2014 en version 7.8.1. Il s'agit du compilateur le plus populaire pour le langage Haskell. Haskell est un langage de programmation purement fonctionnel, avec un système de types sophistiqué. C'est le principal langage généraliste à utiliser une stratégie d'évaluation non-stricte par défaut : la valeur d'une expression n'est calculée que si elle est nécessaire.

La dernière version de darcs, système de gestion de version intelligent et simple d'utilisation, est disponible depuis le 23 avril dernier. Il s'agit de la tant attendue version 2.8. Par rapport à git ou mercurial, darcs est plus simple d'utilisation, mais sur de gros dépôts, il peut souffrir de problèmes de performances. C'est grâce à sa théorie des patches, une vision différente des concepts de la gestion de version, qu'il peut proposer un mode de travail plus libre, et une interface plus simple.

Darcs, le système de gestion de versions distribué (DVCS) interactif et malin vient de sortir en version 2.5.

Darcs se distingue d'autres systèmes de contrôle de versions distribués comme Git ou Mercurial par :

• Un modèle sémantique et non chronologique des changements ;


• Sa gestion native et intégrée du ramassage de cerises (cherry-picking) ;


• Son interface interactive et simple.

Parmi les améliorations de la nouvelle version :

• Record et pull sont plus rapides ;


• Trackdown procède par bissection, comme git bisect ;


• Pas mal d'améliorations de l'interface.

Darcs est aussi l'un des programmes écrits en haskell les plus importants (avec xmonad).