haskell-jp / nix #3

yuyawk
2021-06-22 00:24:09 +0900
@yuyawk has joined the channel
SF
2021-06-30 03:30:48 +0900
@SF has joined the channel
Ryo Haruyama
2021-08-04 18:05:01 +0900
@Ryo Haruyama has joined the channel
2021-08-20 13:04:36 +0900

nix flakesをつかうとキャッシュを置いているところ（substituters）もプロジェクトのファイル(flake.nix)に
おけるのですね。便利ですね。
キャッシュに限らずnixConfigに、いままでユーザー独自の設定（*nix*.confにおいていたもの）にいれていたものも
flake.nixにいれられそうですね。
2021-08-20 13:09:10 +0900
一番使う用途として多いのは
haskell.nixをつかうときのキャッシュ（）を追加することですね。
https://github.com/teto/quantum/blob/master/flake.nix#L5-L12
2021-08-20 13:11:35 +0900
haskell.nix をちょっと試すときにそれに気づいておお! となりました。flake 最高ですね!
HA
2021-09-12 18:25:33 +0900
@HA has joined the channel
chansuke
2021-09-15 14:18:56 +0900
@chansuke has joined the channel
igrep
2021-10-02 12:48:52 +0900
こんなcontribution guideを敷いているリポジトリーにPull requestを送ろうとしたんですが、Nixをインストールして nix-shell したところ、多くのパッケージを何時間もかけてコンパイルしようとして結局失敗してしまいました（申し訳なくも失敗の正確な原因はつかめてません）。こういうとき、そもそもこれだけのためにわざわざコンパイルするのが苦痛なんでなんとか省略する方法はないのでしょうか？Cachixというのを使えばいいんですかね？
https://github.com/NorfairKing/sydtest/blob/master/CONTRIBUTING.md
... Replies ...
igrep
2021-10-03 16:58:58 +0900
本件続報です。cachixをインストールしようとして気づいたのですが、どうも当初からこちらの問題にハマっていたのではないかと思います。
https://discourse.nixos.org/t/nix-build-trying-to-build-basic-tools-for-all-packages-from-scratch/11097/2
で、解決策曰くconfiguration.nixの nix.trustedUsers という項目をいじれ、とのことなのですが、 find / -name configuration.nix してみても該当のファイルが見当たりませんでした。どこに置いてあるのでしょうか？
igrep
2021-10-03 20:27:05 +0900
ようやくnix-shellを起動して必要なものをインストールできたのでCONTRIBUTING.md の指示どおりnix-shellで stack test --pedantic したところ、こんなエラーが
 <command line>: /nix/store/ikl21vjfq900ccbqg1xasp83kadw6q8y-glibc-2.32-46/lib/libc.so.6: symbol _dl_fatal_printf version GLIBC_PRIVATE not defined in file ld-linux-x86-64.so.2 with link time reference

検索して見つかった https://stackoverflow.com/questions/49245547/version-glibc-private-not-defined-in-file-ld-linux-x86-64-so-2 を読んだところ、元々DebianにインストールされていたglibcとNixが入れたglibcとで競合しているために発生しているようです。
どなたか直し方に心当たりありませんか？
ほげやま
2021-10-28 15:42:15 +0900
@ほげやま has joined the channel
addokoda
2021-10-28 20:31:42 +0900
@addokoda has joined the channel
mrsekut
2021-11-03 14:31:48 +0900
アドベントカレンダーを作ってみました
よければご参加ください
https://qiita.com/advent-calendar/2021/nix
nobv
2021-11-04 23:30:55 +0900
@nobv has joined the channel
mrsekut
2021-12-04 12:20:37 +0900
書きました
誤りがあれば指摘していただけると嬉しいです
https://scrapbox.io/mrsekut-p/Nixを使うと何が嬉しいのか
2021-12-21 01:33:56 +0900
haskellとまったく関係ないですが書きました。
よろしくお願いします。
https://qiita.com/junjihashimoto@github/items/67c951fbf90ef3592eaa
ose20
2022-01-10 13:42:35 +0900
@ose20 has joined the channel
naokij
2022-01-26 00:32:46 +0900
@naokij has joined the channel
2022-03-09 02:37:39 +0900
rules_nixpkgsは単にnix-buildを実行しているだけですかね。
これ自体は分散ビルドには対応してなさそう？
https://github.com/tweag/rules_nixpkgs/blob/b39b20edc4637032bc65f6a93af888463027767c/nixpkgs/nixpkgs.bzl#L140-L227
2022-03-09 02:47:27 +0900
bazel力がまったくないですが、`bazel query` で依存関係をしらべればどこが分散して実行されるかわかりますね。（たぶん）
2022-03-09 11:31:44 +0900
rules_nixpkgsはrules_haskellでつかうライブラリを事前にセットアップするためだけにつかう用途のようですね。
nixpkgsのderivationはBUILDの中に記述できないみたいです。
2022-03-18 02:52:50 +0900
https://discourse.nixos.org/t/nix-2-7-0-released/18072
• Nix will now make some helpful suggestions when you mistype something on the command line. For instance, if you type nix build nixpkgs#thunderbrd, it will suggest thunderbird.
地味に嬉しいですね。
James Haydon
2022-03-25 19:45:27 +0900
@James Haydon has joined the channel
2022-04-11 11:18:22 +0900
hydra.iohk.ioがおそすぎるが、（indexのダウンロードとか、100kb/secくらいしかでてないような。）
[7/31 built, 1/11/62 copied (815.7/886.1 MiB), 77.2/154.7 MiB DL] fetching 01-index.tar.gz-at-2022-04-11T000000Z from https://hydra.iohk.io
自前でproxyをたててcloudflareをいれれば速くなりますかね。
https://github.com/input-output-hk/haskell.nix/issues/1406
2022-04-11 11:21:33 +0900
nixでghc9.2をまともに使うにはhaskell.nixしかないのが辛い。
2022-04-14 00:02:57 +0900
ghc-9.2でhnixをつかうにはgithubにあるものをつかう必要があるが、
cabal.projectがgit submodulesをうまく認識しない。
2022-04-14 00:04:13 +0900
自分のレポジトリにforkして、submoduleの部分を消せばいいのでしょうが。
2022-05-12 10:30:10 +0900
https://www.haskellforall.com/2017/01/typed-nix-programming-using-dhall.html
こちらにあるdhallToNixと同様に
haskellToNixでnix上でhaskellを書いてnix expression生成できるようになりました。（ただ単に書けるだけでeDSLとしてはいまいちかなと思っています。）
https://github.com/junjihashimoto/typed-hnix
そもそもnix expressionのようにlambdaと名前付き引数を持つ言語をDSLでどう表現したものかと思っています。
スマートコントラクト系のeDSLのようにしたらいいのではないかと思っていますが、まだ自分の理解が追いついてないところです。
https://serokell.io/blog/lorentz-implementing-smart-contract-edsl-in-haskell
https://github.com/Plutonomicon/plutarch/blob/master/docs/README.md
えび (ebi_chan)
2022-05-14 15:00:18 +0900
@えび (ebi_chan) has joined the channel
2022-05-24 15:14:03 +0900
ついにhaskell.nixがCDNに対応しました。
hydra.iohk.ioをcache.iog.ioに置き換えれば速くなります。
toyboot4e
2022-06-06 18:45:24 +0900
@toyboot4e has joined the channel
2022-07-11 08:57:04 +0900

特定のbuildだけsandboxを外す方法。
*2nixがない場合、*2nixがうまくセットアップできない場合、ネットワークへのアクセスが必要な一般的なパッケージマネージャを使うときに有用です。
2022-07-15 11:20:15 +0900
https://github.com/nickel-lang/nickel-nix
nickelでnixを書くためのプロジェクトが
今年2月から開発されていたのですね。
PoCの段階のようですが、
型はつかわれていてhaskellでいう :: がnickelでは | ですかね。
https://github.com/nickel-lang/nickel-nix/blob/future/future/playground/acpilight.ncl
こちらがderivationの定義？
https://github.com/nickel-lang/nickel-nix/blob/future/future/prototype/nix_builtins.ncl
hiratara
2022-08-02 10:40:29 +0900
@hiratara has joined the channel
kk
2023-01-26 06:45:04 +0900
@kk has joined the channel
2023-02-08 11:35:39 +0900
https://github.com/input-output-hk/haskell.nix/issues/1565
haskell.nixでnixpkgsのghcがoverlayでつかえるらしい。
kohei wada
2023-06-24 16:13:20 +0900
@kohei wada has joined the channel
sat0ma
2023-10-10 15:05:14 +0900
@sat0ma has joined the channel
zackey
2023-11-20 14:45:39 +0900
@zackey has joined the channel
igrep
2023-12-04 13:36:11 +0900
https://gitlab.haskell.org/ghc/ghc-wasm-meta にあるNix Flakeを使って、PandocをWasmにビルドしようとしています。
READMEに従ってnix-shellを起動し、
wasm32-wasi-cabal update && wasm32-wasi-cabal install --allow-newer pandoc

と実行してみたところ、zlibがない、などのエラーが出ました。
これを解決するには、きっとnix-shellで起動した環境にzlibを入れたりすればよいと思うのですが、そうするには ghc-wasm-metaをフォークして、flake.nixなどを編集するのがよい方法なのでしょうか？
Nixは不慣れなため、プロジェクトを構築するよいプラクティスなどあれば教えていただきたいです。
... Replies ...
CLERK
2024-02-17 23:22:32 +0900
@CLERK has joined the channel
2024-09-07 23:18:00 +0900
@ has joined the channel
mitsuo
2024-09-29 00:58:35 +0900
@mitsuo has joined the channel
mitsuo
2024-09-29 01:00:11 +0900
@mitsuo has left the channel
satler
2024-10-20 14:06:55 +0900
@satler has joined the channel