ジョットク発表 2021
『純粋関数型パッケージマネージャの追実装』
発表8分、質疑応答2分
どういう問題があって、それをどういうふうに解いたか
何をやったの?
Nix と呼ばれる純粋関数型パッケージマネージャを名乗るシステムを追実装した
説明しなければいけない前提知識
Nix
何の問題があってどう解決する何?
基本的な文法の雰囲気?
そのほか言いたいこと
考えた方がいいこと
アウトライン
イントロ1m
演習の概要
純粋関数型パッケージマネージャを名乗る Nix と呼ばれるシステムを追実装し、そのアーキテクチャの利点と欠点について理解を深めた
目次
前提知識3m: Nixの紹介
現状のシステムの問題
Nixの紹介
expression (eval) derivation (build) output
Nix が解決する問題
Nix が提供する利便性
本題3m: Nereid
概要
デモ動画
同じ目的を達成するための別の実装
実装詳細
sandbox
bootstrap
おわり1m
展望
まとめ
あざした
おわり