| 31 Oct 2023 |
 @piegames:matrix.org | Because I currently have trouble imagining this without also adding a proper type system to the language | 18:22:53 |
 infinisil | piegames: No concrete proposals yet, and I'm not working on it myself | 18:23:03 |
| 1 Nov 2023 |
|  @cafkafk:gitter.im left the room. | 10:43:17 |
|  Ramses 🇵🇸 changed their display name from Ramses to Ramses 🇵🇸. | 19:58:26 |
| 4 Nov 2023 |
 tomberek | piegames: Perhaps this? https://gist.github.com/edolstra/29ce9d8ea399b703a7023073b0dbc00d#solution-configurations | 14:30:48 |
| @piegames:matrix.org | Thanks. (I don't like it) | 15:56:08 |
| 11 Nov 2023 |
|  @ninjatrappeur:alternativebit.fr left the room. | 07:15:20 |
| 12 Nov 2023 |
|  @lehmanator:gnulinux.club joined the room. | 12:03:28 |
|  toonn changed their profile picture. | 17:53:55 |
| 14 Nov 2023 |
|  NixOS Moderation Bot banned  @srid:matrix.org (<no reason supplied>). | 14:00:49 |
| 15 Nov 2023 |
|  @grahamc:nixos.orgchanged room power levels. | 16:15:41 |
| @grahamc:nixos.org left the room. | 16:15:42 |
 @willpower3309:matrix.org | In reply to @infinisil:matrix.org
piegames: No concrete proposals yet, and I'm not working on it myself Is anyone taking a look at nix modules? I recall a modules workgroup was made, but it seems it may have been merged with the architecture group | 16:48:05 |
| infinisil | willmckinnon: DavHau has looked a bit into it recently | 16:49:30 |
 DavHau | I did experiments on nix-camp. I will open a WIP PR to make it visible. RN I'm a bit busy with other stuff. | 16:56:57 |
 Ilan Joselevich (Kranzes) | (Dave showed me at oceansprint how he made mkDerivation use evalModules in nixpkgs, it's sick 🔥) | 16:59:28 |
| DavHau | It trades significantly better UX vs twice the eval time. Maybe it could be released as an overlay for people who don't care much about eval time. direnv recently got a feature where it caches evaluation indefinitely until 'nix-direnv-reload' is executed manually. The way slow eval times are a lot less annoying than before. | 17:23:27 |
| DavHau | * It trades significantly better UX vs twice the eval time. Maybe it could be released as an overlay for people who don't care much about eval time. direnv recently got a feature where it caches evaluation indefinitely until 'nix-direnv-reload' is executed manually. That way slow eval times are a lot less annoying than before. | 17:23:53 |
|  Alyssa Ross | 17:40:09 |
| NixOS Moderation Botchanged room power levels. | 18:12:25 |
| NixOS Moderation Botchanged room power levels. | 18:12:25 |
|  @eisfunke:eisfunke.com changed their profile picture. | 22:42:08 |
| 18 Nov 2023 |
| infinisil | Highlighting @abathur's issue: https://github.com/nixpkgs-architecture/issues/issues/23 | 04:07:31 |
| 19 Nov 2023 |
|  pbsds changed their display name from pbsds to pbsds (federation borken, may not see reply). | 03:36:21 |
|  ZXGU joined the room. | 11:02:45 |
| pbsds changed their display name from pbsds (federation borken, may not see reply) to pbsds. | 20:39:20 |
| 20 Nov 2023 |
 @johannes.kirschbauer:scs.ems.host | In reply to @piegames:matrix.org
Are there any specific proposals for how a Nix module builtin might look like? Playing mindgames:
If types are values. We could extend the language by type-values. e.g.
Primitives:
Number, ...
Composed:
Set, List, ...
{
/* A type contract, foo must be a number*/
foo = Number;
} &
{
/* foo is '1' */
foo = 1;
}
{}
| 10:03:41 |
| @johannes.kirschbauer:scs.ems.host | In reply to @piegames:matrix.org
Are there any specific proposals for how a Nix module builtin might look like? * Playing mindgames:
If types are values. We could extend the language by type-values. e.g.
Primitives:
Number, ...
Composed:
Set, List, ...
{
/* A type contract, foo must be a number*/
foo = Number;
} &
{
/* foo is '1' */
foo = 1;
}
Introducing new keywords for types ^^
| 10:04:04 |
| @johannes.kirschbauer:scs.ems.host | * Playing mindgames:
If types are values. We could extend the language by type-values. e.g.
Primitives:
Number, ...
Composed:
Set, List, ...
{
/* A type contract, foo must be a number*/
foo = Number;
} &
{
/* foo is '1' */
foo = 1;
}
Introducing new keywords for types ^^
and the merge operator &
| 10:04:22 |
| @piegames:matrix.org | So basically copying over Nickel :) | 10:04:51 |
