!OHimLTKAXNbFrEoogf:matrix.org

Nix Milan

122 Members
https://milano.nix.pizza/9 Servers

Load older messages


SenderMessageTime
1 Apr 2026
@telegram_8556022534:t2bot.ioDragos I* Ah no, ecco: “callCabal2Nix uses the package versions fixed by your nixpkgs, specifically the haskellPackages you are using) not the versions resolved by cabal-install”14:59:15
2 Apr 2026
@telegram_73824637:t2bot.ioAndrea Ciceri Hai ragione, e' diverso da come pensavo.
buildPackages.runCommand "cabal2nix-${name}" { ... } ''
  cabal2nix --compiler=${self.ghc.haskellCompilerName} \
    --system=${hostPlatform.config} ${sha256Arg} "${src}" \
    ${extraCabal2nixOptions} > "$out/default.nix"
''
Questa e' l'IFD che fa callCabal2Nix, pero' se guardi come funziona cabal2nix (https://github.com/NixOS/cabal2nix) in realta' sputa fuori semplicemente un file nix con i nomi dei pacchetti, senza le versioni. Quindi puo quando nix builda la derivazione ottenuta tramtie IFD cabal verifica che le disponibili nel set haskellPackages della tua versioni di nixpkgs soddisfino i constraint di versione nel file cabal. Infatti in nixpkgs c'e' il fileone con tutti gli override di versione per i vari pacchetti haskell: https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/haskell-modules/configuration-common.nix
Questo fa si che quei progetti pero' non usino piu' le versioni delle dipendenze che dovrebbero essere risolte secondo i constraint nel loro cabal.
08:26:07
@telegram_73824637:t2bot.ioAndrea Ciceri Quindi haskell2nix rimane comuque superiore da questo punto di vista perche' ti da le versioni esattamente come te le darebbe cabal. Infatti ora che ci penso in haskell.nix puoi variare la data dello snapshot di hackage e questo varia la risoluzione e quindi le versioni finali che vengono usate. 08:27:25
@telegram_73824637:t2bot.ioAndrea Ciceri * Hai ragione, e' diverso da come pensavo.
buildPackages.runCommand "cabal2nix-${name}" { ... } ''
  cabal2nix --compiler=${self.ghc.haskellCompilerName} \
    --system=${hostPlatform.config} ${sha256Arg} "${src}" \
    ${extraCabal2nixOptions} > "$out/default.nix"
''
Questa e' l'IFD che fa callCabal2Nix, pero' se guardi come funziona cabal2nix (https://github.com/NixOS/cabal2nix) in realta' sputa fuori semplicemente un file nix con i nomi dei pacchetti, senza le versioni. Quindi poi quando nix builda la derivazione ottenuta tramtie IFD cabal verifica che le disponibili nel set haskellPackages della tua versioni di nixpkgs soddisfino i constraint di versione nel file cabal. Infatti in nixpkgs c'e' il fileone con tutti gli override di versione per i vari pacchetti haskell: https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/haskell-modules/configuration-common.nix
Questo fa si che quei progetti pero' non usino piu' le versioni delle dipendenze che dovrebbero essere risolte secondo i constraint nel loro cabal.
08:29:52
3 Apr 2026
@noib3:matrix.orgnoib3 joined the room.09:48:07
5 Apr 2026
@telegram_7189191315:t2bot.iogecko Ho un sistema pulito senza channel (container nixos/nix). Quando faccio nix profile add nixpkgs#htop, come fa lui a sapere a cosa corrisponde nixpkgs? 09:44:19
@telegram_73824637:t2bot.ioAndrea Ciceri https://nix.dev/manual/nix/2.18/command-ref/new-cli/nix3-registry 09:45:03
@telegram_7189191315:t2bot.iogeckoThanks09:47:48
@telegram_73824637:t2bot.ioAndrea Ciceri tra l'altro questo e' un flake valido dove puoi fare nix build 09:55:30
@telegram_73824637:t2bot.ioAndrea Ciceri
{
  inputs = { };

  outputs = {nixpkgs, ...}: {
    packages.x86_64-linux = {
      default = nixpkgs.legacyPackages.x86_64-linux.hello;
    };
  };
}
09:55:35
7 Apr 2026
@telegram_7581646006:t2bot.ioEdoardo PiccolottoCiao a tutti! Domanda. Qualcuno di voi usa Niri?09:38:58
@telegram_176121111:t2bot.ioFrancescoIo sì09:39:31
@telegram_7581646006:t2bot.ioEdoardo PiccolottoIo uso hyprland ma sto sentendo che niri è veramente una buona alternativa.09:41:09
@telegram_7581646006:t2bot.ioEdoardo PiccolottoCome ti trovi? Lo consigli?09:41:39
@telegram_176121111:t2bot.ioFrancescoSì anch'io usavo hyprland ma mi sto trovando meglio con Niri09:42:20
@telegram_176121111:t2bot.ioFrancescoNon mi piace tanto avere troppi workspace da gestire quindi avere tutto su uno o due workspace scrollabili per me è comodissimo09:45:39
@telegram_176121111:t2bot.ioFrancescoCioè secondo me il modello mentale è più semplice quindi faccio meno casino09:46:11
@telegram_7581646006:t2bot.ioEdoardo PiccolottoHo visto dei video a riguardo ed era la prospettiva che più mi intrigava...09:47:24
@telegram_524811522:t2bot.ioTonio GelaSottoscrivo, io lo uso e nella barra (di Noctalia) non ho nemmeno l'indicatore di "workspace" (niri ha una cosa vagamente simile ma in verticale)10:53:50
@telegram_524811522:t2bot.ioTonio GelaUso poche finestre e in generale le creo e distruggo ad un ritmo elevatissimo10:54:21
@telegram_53326276:t2bot.ioArialdo MartiniMa che coincidenza incredibile. Ne stavo parlando adesso con Jaga Santagostino.11:06:32
@telegram_53326276:t2bot.ioArialdo MartiniIo sto sperimentando con un approccio iper-minimalista. Una cosa visualizzata alla volta. Ho dichiarato guerra a ogni popup, tutto sistematicamente full screen. Anche nell'IDE, 1 panel alla volta, full-screen.11:07:48
@telegram_53326276:t2bot.ioArialdo MartiniJaga va un passo oltre: schermo gray-scale. Stile e-ink. Ci sto provando anche io.11:08:19
@telegram_524811522:t2bot.ioTonio Gela1 pannello alla volta nell'IDE è un setup che uso da anni e ne ho tratto solo benefici13:31:40
@telegram_53326276:t2bot.ioArialdo MartiniSu quale IDE lavori?13:32:16
@telegram_524811522:t2bot.ioTonio GelaVSCode13:33:51
@telegram_524811522:t2bot.ioTonio GelaMa mi viene dagli anni con Nvim13:34:17
@telegram_524811522:t2bot.ioTonio GelaOh Arialdo, mi sa che abbiamo fatto un gruppo lettura dell'haskel book insieme nel meetup di haskell milano13:34:34
@telegram_524811522:t2bot.ioTonio Gela* Oh Arialdo, mi sa che abbiamo fatto un gruppo lettura dell'haskell book insieme nel meetup di haskell milano13:34:49
@telegram_7581646006:t2bot.ioEdoardo PiccolottoIo neovim (o meglio lazyvim)13:34:49

Show newer messages


Back to Room ListRoom Version: 10