Cabal の dep hell 解消プロジェクト

山本和彦 @kazu_yamamoto

.@tanakh Cabal の dep hell を解決するプロジェクトは頓挫したらしいです。で、僕が代わりに担当しようと思っているんですが、Nix とか hellno とかについて何か言っておきたいことはありませんか？

山本和彦 @kazu_yamamoto

Haskell では Nix 方式を採用しても完全に dep hell を解決することはできないらしい。他のライブラリのモジュールを export できるからだそうだ。

Hideyuki Tanaka @tanakh

@kazu_yamamoto nixのような仕組みは大がかりだし、hellnoは実装がいまいち（Linux向けのハードコーディングされてる部分とか）でしたが、解法としては良かったと思います。

shelarcy（しぇらーしぃ） @shelarcy

あら……GSoCMultipleInstances の人が最近 https://t.co/ExbzNKpmwi を作っているのを見て、細々とプロジェクト続いているんだなとおもってましたが……頓挫してましたか。

Hideyuki Tanaka @tanakh

@kazu_yamamoto あと、依存例の解決が未だしょぼいので、SATソルバを使えば良い物になると思います。Haskellで書かれた効率的な実装はありませんが、minisatあたりを（C++なんでめんどそうですけど）同梱できたら良いのかなあとか。

山本和彦 @kazu_yamamoto

.@tanakh とりあえず、hellno をプラットフォーム非依存にしてから育てて行く方がよさそうってこと？

山本和彦 @kazu_yamamoto

.@tanakh SAT ですか。ちょうど勉強したいと思っていた所なので、モチが高まります。

Hideyuki Tanaka @tanakh

@kazu_yamamoto すくなくとも、Linuxで適当に試していたところ、hellnoはとてもうまく動いていました。試す価値はあると思います。

Hideyuki Tanaka @tanakh

@kazu_yamamoto いまのSATソルバは、Haskellの総パッケージ数程度（数千～万）の節数なら余裕で充足解を見つける性能があるので（典型的なパッケージは依存関係もっとずっと少ないですし）、こういう用途には特に向いていると思います。

shelarcy（しぇらーしぃ） @shelarcy

あっ、同じバージョンのパッケージを複数インストールできるようにする試みです。念のため > GSoCMultipleInstances http://t.co/bbBxdId6B8 https://t.co/HkeT1FXq3f https://t.co/J2iaLtmzDT

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

愛用しているhellnoが育てられるときいて期待してる。

Mitsutoshi Aoe/maoe @ma0e

cabalの依存地獄、現状でもcabal-devかつ--reorder-goalsしてればハマることは無い。遅いのが難点。

shelarcy（しぇらーしぃ） @shelarcy

そういえば、そろそろ cabal-install の sandbox 機能も完成間近でしたっけ。 - [cabal-devel] - Close to release candidate : http://t.co/zToUQnuBrW #miteru

日比野 啓 (Kei Hibino) @khibino

つまり、そのパッケージ自身のコードを変更していなくても、コンパイル仕直すだけでインターフェースが変わる可能性がある

日比野 啓 (Kei Hibino) @khibino

コンパイル仕直すだけで はちょっと違うな。そのパッケージ自身のコードを変更していなくても、使っているモジュールのバージョンを変えるだけでインターフェースが変わることがある