| 5 Jun 2021 |
maralorn | * maralorn sets the topic to: „Welcome to the Nix & Haskell channel. Days since someone demanded static typing in Nix: 0" | 17:09:37 |
fgaz | In reply to @sternenseemann:systemli.org it does not Whatt‽ isn't that the opposite of basically every ml-style language? | 17:25:35 |
fgaz | I always assumed it shadowed | 17:25:46 |
maralorn | fgaz: There is an issue about that and Eelcos reasoning why it does that is actually quite convincing. | 17:26:26 |
sterni (he/him) | the correct answer is ofc that with was a bad idea in the first place ;) | 17:26:53 |
maralorn | I think the main advantage of with not shadowing is, that you can never break code by introducing a new value into the withed attrset. | 17:27:25 |
fgaz | In reply to @maralorn:maralorn.de fgaz: There is an issue about that and Eelcos reasoning why it does that is actually quite convincing. Do you have a link? | 17:28:14 |
maralorn | Sadly I don‘t and with is a terrible word to look for in an issues tracker. | 17:29:22 |
maralorn | wow. Nix has 100 open issues assigned to peti.^^ | 17:30:18 |
maralorn | (ofc I am wildely exagerating it’s actually only 98.) | 17:30:46 |
Las | In reply to @sternenseemann:systemli.org aeson should already be compiled I'm pretty sure nix build github:NixOS/nixpkgs?rev=7191381b24b511017207205e2c8625a91ccea5cf#legacyPackages.aarch64-linux.haskell.packages.ghc901.aeson builds it locally for me | 20:02:59 |
Las | It's this commit: https://github.com/NixOS/nixpkgs/commit/7191381b24b511017207205e2c8625a91ccea5cf | 20:03:21 |
maralorn | Las: Hm, okay. sterni (he/him) the problem is: We don‘t have a ghc9 cabal2nix job. So we have nothing with a distribution-nixpkgs dependency. | 20:07:52 |
maralorn | I guess we could/should introduce that job anyways? | 20:09:34 |
maralorn | We could actually consider building either mergeable or even maintained for ghc9 … | 20:10:07 |
maralorn | I think it’s a bit ridiculous that not even hoogle builds on ghc 9 … | 20:11:11 |
Roos | I find very disturbing there's so much breakage when the compiler updates... | 20:18:59 |
Roos | * I find very disturbing for the language there's so much breakage when the compiler updates... | 20:18:59 |
| * Roos goes to check GHC9 release notes. | 20:19:00 |
maralorn | Roos: There actually isn‘t much breakage. It’s mostly that a) everyone needs to bump their base upper bound and b) things that link against ghc have a hard time. | 20:39:08 |
Roos | That's reassuring ^^" | 20:40:13 |
fgaz | regarding the discussion from earlier today: I think the haskell binary cache from nixpkgs is mostly useful for experiments or short-term stuff. Once you start working on long-lived project, the warm-up time for the cabal cache gets negligible, and you gain the advantage of being able to work with any version of a package | 21:07:07 |
fgaz | (of course the haskell stuff in nixpkgs is still very useful for packaging though) | 21:07:28 |
fgaz | In fact, I almost stopped using nixpkgs for haskell development. Still, nix remains useful for caching this environment for ci, deployments, and sharing it with other developers. And that's why I'm working on my own builder based on cabal and FODs | 21:11:31 |
fgaz | * regarding the discussion from earlier today: I think the haskell binary cache from nixpkgs is mostly useful for experiments or short-term stuff. Once you start working on long-lived project, the warm-up time for the cabal cache gets negligible, and by avoiding nixpkgs you gain the advantage of being able to work with any version of a package | 21:12:18 |
fgaz | * regarding the discussion from earlier today: I think the haskell binary cache from nixpkgs is mostly useful for experiments or short-term stuff. Once you start working on long-lived projects, the warm-up time for the cabal cache gets negligible, and by avoiding nixpkgs you gain the advantage of being able to work with any version of a package | 21:14:48 |
maralorn | FOD? | 21:16:17 |
fgaz | Fixed-output derivation | 21:16:57 |
maralorn | Ah | 21:17:06 |
Las | what would you use fixed-output derivations for? | 21:17:34 |