| 9 Feb 2026 |
 Marco Turchetto | * Tipo per una config di nixos, le due config vengono unite in una. Per una lista, vengono concatenate. Le stringhe invece hai diversi tipi di merge tra cui scegliere in base a cosa ti serve. | 11:59:16 |
 Tonio Gela | No flakes here :D | 12:01:14 |
| Tonio Gela | Cmq ho capito, di fatto scrivi una cosa e il suo semigruppo | 12:01:59 |
| Tonio Gela | Ha senso | 12:02:02 |
 Andrea Ciceri | Intendeva "della tua config" probabilmente, i flake non c'entrano qui. | 12:02:55 |
| Tonio Gela | Sì sì, facevo solo quello che sta in una nicchia e ci tiene a specificarlo | 12:03:20 |
| Tonio Gela | "I don't use flakes btw" | 12:03:36 |
| Tonio Gela | No flakes is the new arch | 12:03:45 |
| Tonio Gela | 😇 | 12:03:56 |
| Andrea Ciceri | questa affermazione ha appena avuto questo effetto su di me: https://xkcd.com/356/ | 12:03:57 |
| Tonio Gela | Hai googlato semigruppo? 😂 | 12:04:17 |
| Andrea Ciceri | no no ho presente ma non avevo mai pensato a formalizzare il module system con qualche struttura algebrica. E ora ci sto pensando. | 12:05:25 |
| Tonio Gela | Credo peraltro si possa scrivere un monoide visto che ha senso definire un modulo vuoto | 12:06:00 |
| Tonio Gela | No, i booleani non hanno un mempty, come non detto | 12:06:38 |
| Andrea Ciceri | Cosa sarebbe un elemento di questo semigruppo? Una opzione o un modulo? | 12:07:15 |
| Andrea Ciceri | Non credo funzioni con le opzioni | 12:08:07 |
| Tonio Gela | Domanda interessante. Direi che se un modulo ha un'opzione e un modulo un'altra, la somma dei due dovrebbe essere un modulo con ambo le opzioni | 12:08:52 |
| Tonio Gela | ma cmq non funziona, sicuramente per colpa dei booleani, poi magari esistono altri ostacoli | 12:09:17 |
| Tonio Gela | se un modulo fissa x = true e un modulo x = false, non esiste un combinatore che vada bene di default, visto che || e && danno risultati opposti | 12:10:03 |
| Andrea Ciceri | esatto, stavo scrivendolo or ora | 12:10:33 |
| Tonio Gela | ma anche le opzioni numeriche, metti che hai un verbose level che ha 0,1,2 come valori possibili. Sommarli e ottenere un numero >2 non ha senso | 12:11:15 |
| Tonio Gela | ecco la ragione per cui bisogna specificare una strategia di merge | 12:11:29 |
| Tonio Gela | cmq nerd sniped anche io ora, grazie @amerocu :D | 12:11:48 |
| Tonio Gela | Guarderò le repo meglio | 12:12:01 |
| Andrea Ciceri | in generale tutte le opzioni che hanno tipi che possono non mergiare. per esempio le liste mergiano sempre ma i booleani no (devi specificare la priorita con mkOverride) | 12:12:07 |
| Tonio Gela | Cmq a questo punto mi chiedo come fanno i moduli, posto che so che esistono lib.mkAfter e altro, di default immagino sostituiscano | 12:12:46 |
| Tonio Gela | magari sulla base dell'import order | 12:12:53 |
| Marco Turchetto | Sorry, ho presupposto il tuo sistema di pinning 🙈 | 13:21:13 |
| Marco Turchetto | Quando dichiari una opzione, puoi impostare un valore di default | 13:22:08 |
| 10 Feb 2026 |
 gecko | C'è un modo rapido per rifetchare un path in /nix/store? L'ho manomesso e ora rivoglio l'originale :P | 10:44:06 |
