私はパッケージマネージャ、特にNixがパッケージのインストールを確認する方法を理解しようとしています。
私はNixパッケージがすべての依存関係を明示的に宣言していることを知っています。しかし、Nixは、始める前にパッケージのインストールが成功することを保証するか、少なくとも高いレベルの確実性を提供できますか？それではどうなりますか？そうでなければなぜならないのですか？パッケージのインストールに対して同様の決定性を達成する方法はありますか？
正式に検証されたオペレーティングシステムなど、実際にインストールを実行する前にパッケージの互換性を確認する命令はありますか？
ベストアンサー1
一般に提供されているパッケージを常にインストールできるように、パッケージストア管理者ができることはたくさんあります。最も確実なのは究極のスモークテストです。つまり、サポートされているハードウェア（またはそのようなハードウェアをエミュレートする仮想マシン）にパッケージに含まれる実行可能ファイルを実際にインストールして実行することです。 nixpkgs関連システムについては何も知らないけど、ずっと出てくる名前はヒドラ。
パッケージの実行に加えて、管理者はアップストリームパッケージテストを実行し、他のパッケージで使用するときにライブラリのコア機能が正しく機能することを確認し、ランタイムやパッケージサイズなどのスモークテストを実行し、パッケージが異なる経験的方法で「動作」することを確認できます。ほとんどのソフトウェアはいかなる方法でも正式に検証されないため、最新のパッケージストアの正式な検証には数十年かかることがあります。