Nixについて

1.

Nixについて @mt_caret

2.

調査

3.

関数型言語を知っている Haskell, OCaml, F#, Scala, Lisp, Clojure, Erlang, etc.

4.

関数型言語を書いている Haskell, OCaml, F#, Scala, Lisp, Clojure, Erlang, etc.

5.

Nix: There and Back Again

6.

Nixの世界 - Nix（言語） - Nix（パッケージマネージャ）（↓ここからおまけ） - NixOS（OS） - NixOps（オーケストレーション）

7.

Nixの世界 - Nix（言語） - Nix（パッケージマネージャ） - NixOS（OS） - NixOps（オーケストレーション）

8.

Nixの世界 - Nix（言語） - Nix（パッケージマネージャ）←本質 - NixOS（OS） - NixOps（オーケストレーション）

9.

そもそもNix（パッケージマネージャ）とは？パッケージマネージャ（トートロジー） Linux, OSX, (Windows?)で動く OSのパッケージマネージャと共存可能

10.

これまでのパッケージマネージャの問題点 mutability: 多くのパッケージマネージャはパッケージをインストールする時、/bin等を始めとしたグローバルな空間を汚染していく => パッケージのアンインストール => 同じパッケージの異なるバージョンとの共存しんどいし時間が経つにつれシステムについて論じ
るのが難しくなっていく (“Global shared state is the root of all evil”)

11.

None

12.

Nix（パッケージマネージャ） $ which bash $ realpath `which bash` $ echo
$PATH

13.

Nix（パッケージマネージャ） /nix/store/<ハッシュ値>-<パッケージ名>/というREADONLYな領域に一意に定まるように導入され、依存するパッケージやライブラリも同様に/nix/store/にあるものを指す。 ex. $ ldd `which bash`

14.

Nix（パッケージマネージャ）同じソフトウェアで別なバージョンがいくつか有る場合、それぞれ異なるハッシュ値になるため、共存可 $ ls /nix/store/*-bash-*/bin/bash PATHからのsymlink先を変えるだけで、バージョンの切り替え可

15.

Nix（パッケージマネージャ） $ nix-env -i hello #インストール $ hello $ nix-env
-e hello #アンインストール $ nix-env --rollback $ nix-env --list-generations

16.


17.

Nix（言語） - 純粋関数型 - 遅延評価を採用 - 動的型付け

18.

Nix（言語）の文法 let x = 4; # 変数束縛（宣言/初期化） f = num:
num + 1; # 関数 in f x # 関数適用（呼び出し）

19.

Nix（言語）の文法 let set = { num = 5; str =
"World!"; }; # 他言語でいうRecord, Hash, Dict list = [ 1 "hoge" 4 { foo = "bar"; }]; f = { num, str }: "Hello, ${str}"; in [ set.num (head list) (f set) ] 評価すると => [ 5 1 "Hello, World!" ]

20.

純粋関数型 - 関数の戻り値は引数から一意に定まる - 副作用を持たない let sum = 0; function
calc_sum(num) { sum += num; return sum; } console.log(calc_sum(5)); //=> 5 console.log(calc_sum(5)); //=> 10 console.log(calc_sum(5)); //=> 15

21.

遅延評価式の評価（計算）を行う時、式の結果を利用するまで評価（計算）をしない ex: f (1 + 2)の場合はf (1 +
2)を必要とする（例えば出力等で）まで1 + 2の計算も、fへの適用も行われない ex: let x = 5 / 0; in “this works!”

22.

Nix（言語）の文法もうすこし let nixpkgs = import <nixpkgs> {}; # ライブラリのインポート in
"${nixpkgs.bash}/bin/bash"

23.

Nix（言語）の文法もうすこし let set = { a = "a"; b =
{ c = "c"; }; }; abc = with set; [ a b (with b; c) ]; in abc 評価すると => [ "a" { c = "c"; } "c" ]

24.

言語とパッケージマネージャの橋渡し - Nix（言語） - Nix（パッケージマネージャ）←本質 - NixOS（OS） - NixOps（オーケストレーション）

25.

Derivation（パッケージ）とRealization Derivationは特定のattributeを持ったSet nix-repl> d = derivation { name = “myname”;
builder = “mybuilder”; system = “mysystem”; } nix-repl> d /nix/store/9r1...3yn-hoge.drv => /nix/store/9r1...3yn-hoge ex. $ ppsh < /nix/store/9r1...3yn-hoge.drv

26.

Derivationのビルド nix-store -r /nix/store/9r1...3yn-hoge.drv ビルドをする前から分かっているハッシュ値はどこから来たか？ => 参照等価性より引数全部をハッシュしたものでビルド結果は一意に定まる依存Derivationも引数として渡される

27.

例: GNU HelloのNix式 { stdenv, fetchurl }: stdenv.mkDerivation rec {
name = "hello-2.10"; src = fetchurl { url = "mirror://gnu/hello/${name}.tar.gz"; sha256 = "0ssi1wpaf7plaswqqjwigppsg5fyh99vdlb9kzl7c9lng89ndq1i"; }; doCheck = true; meta = { description = "A program that produces a familiar, friendly greeting"; longDescription = '' GNU Hello is a program that prints "Hello, world!" when you run it. It is fully customizable. ''; homepage = http://www.gnu.org/software/hello/manual/; license = stdenv.lib.licenses.gpl3Plus; maintainers = [ stdenv.lib.maintainers.eelco ]; platforms = stdenv.lib.platforms.all; }; }

28.

これで理論は完璧なので、次は運用の話をします

29.

Nixpkgs (https://github.com/NixOS/nixpkgs) 例のようなNix式が大量に集まったレポジトリパッケージの数は > 8000 ex: $ nix-instantiate --eval
--expr "with builtins; length (attrNames (import <nixpkgs> {}))" 普段使うソフトウェアは大体ある（chromium, vlc, libreoffice, etc.)

30.

https://octoverse.github.com/

31.

Nix/NixOSを使ってるとこ - Human Brain Project - Mozilla - TeamViewer etc.

32.


33.


34.

の前に、

35.

Nix/Nixpkgsの欠点 - nixpkgsの限界 - パフォーマンス - ドキュメンテーション - コミュニティ(Tokyo NixOS
Meetup)

36.

NixOS（ここからがやばい）

37.

NixOSの思想「Nix結構便利なので同じノリでOSを作りましょう」 => OSのコンフィグがNix（言語）、パッケージは全てNix（パッケージマネージャ）

38.

NixOSのコンフィグ hardware = { cpu.intel.updateMicrocode = true; opengl.extraPackages = with
pkgs; [ vaapiIntel ]; trackpoint = { enable = true; emulateWheel = true; speed = 250; sensitivity = 140; }; pulseaudio.enable = true; };

39.

NixOSのコンフィグ networking = { hostName = "dn"; networkmanager.enable = true;
extraHosts = '' #0.0.0.0 twitter.com 0.0.0.0 tweetdeck.twitter.com ''; };

40.

NixOSのコンフィグ virtualisation = { libvirtd = { enable = true;
enableKVM = true; }; docker.enable = true; lxd.enable = true; };

41.

NixOSのコンフィグ services.xserver = { autorun = true; defaultDepth = 24;
enable = true; videoDrivers = [ "intel" ]; displayManager = { lightdm = { enable = true; background = "${background}"; }; }; windowManager = { default = "xmonad"; xmonad = { enable = true; enableContribAndExtras = true; }; }; ...

42.

NixOSのコンフィグ users = { extraUsers.delta = { isNormalUser = true;
uid = 1000; extraGroups = [ "wheel" "networkmanager" "libvirtd" "docker" "lxd" ]; hashedPassword = "..."; }; defaultUserShell = "${pkgs.zsh}/bin/zsh"; mutableUsers = false; };

43.

NixOSのコンフィグ /etc/nixos/configuration.nixを編集 # nixos-rebuild switch # nixos-rebuild --rollback # nixos-rebuild
--dry-run

44.


45.

おわび

46.

おわり

47.

参考文献 - https://nixos.org/nixpkgs/manual/ - https://nixos.org/nix/manual/ - https://learnxinyminutes.com/docs/nix/ - https://nixos.org/nixos/nix-pills/index.html -
https://github.com/NixOS/nixpkgs/issues/25371 - http://blog.timsears.com/posts/morenix.html - https://github.com/NixOS/nixpkgs/blob/master/pkgs/applications/misc/hello/default.nix - https://github.com/Tokyo-NixOS/presentations - https://github.com/NixOS/nixpkgs/blob/master/pkgs/build-support/trivial-builders.nix - https://github.com/NixOS/nixpkgs/blob/master/pkgs/stdenv/generic/setup.sh - https://nixos.org/nixops/manual/ - https://www.youtube.com/watch?v=w1radFbG1GU

Nixについて

Nixについて

Want more?

Transcript