Devotd Github
新着開発ツール

jnorthrup/mlir-nix v0.4.0 — MLIR ベースの Nix 評価器

jnorthrup/mlir-nix は Nix 2.35.4 互換の評価器と mlnix コマンドラインツールを提供し、最新リリースは v0.4.0 である。

リポジトリ情報jnorthrup/mlir-nix ↗

jnorthrup/mlir-nix は Nix 2.35.4 互換の評価器と mlnix コマンドラインツールを提供し、最新リリースは v0.4.0 である。

GitHub の説明: Nix 2.35.4-compatible evaluator, store and CLI (mlnix) built on an MLIR dialect

スター
★ 7
フォーク
1
言語
C++
ライセンス
LGPL-2.1
最新リリース
v0.4.0
原文を見る ↗GitHub で見る ↗

jnorthrup/mlir-nix は、Nix 2.35.4 と互換の評価器、ストア(store)、コマンドラインツール mlnix を提供する C++ プロジェクトである。リポジトリ情報によると最新リリースは v0.4.0 である。提供された情報には、このリリースにどのような変更が含まれるかは示されていない。プロジェクトでは、Nix 式を MLIR の Nix 方言に lowering したうえで、必要な時点で評価する構成が説明されている。つまり式をそのまますべて計算するのではなく、値が必要になったときに評価を進める。

このアプローチは、Nix 評価器を別の実行経路として実装しつつ、結果の一致を確認するものである。README では、変更ごとに参照実装である Nix と Lix の結果を比較すると説明している。実際のシステム評価やパッケージ集合でも計算結果の一致を確認し、遅延評価と LLVM ベースの実行経路を含んでいる。性能比較と設計の根拠も文書として公開すると述べる。このリポジトリの中心は、新しい構文の提示ではなく、既存の Nix 式の評価を MLIR ベースへ移し、参照実装に合わせていくことにある。

ただし、提供された情報には v0.4.0 の具体的な変更内容も性能比較の結果も示されていない。README では実際の作業負荷で遅延評価の利点を測定し、利点がない変更は保留すると説明しているが、ここに測定値は提示されていない。したがって、実装方針と検証方針は確認できるものの、今回のリリースの効果や性能上の利点については判断しにくい。