| 9 Feb 2026 |
 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 |
