| 1 May 2022 |
David Arnold (blaggacao) | K, so I implemented a hidden flag --eval that can swap eval.nix for a different implementation. This way, I can query .#__std metadata to autodetect colmenaConfigurations and make them available to the colmena CLI. 🎉 Will be testing this in a bit. | 20:17:44 |
David Arnold (blaggacao) | Totally agree! | 20:18:15 |
Zhaofeng Li | I'm not really sure about this, as I don't want to guarantee any compatibility for the internal eval API. It limits refactorability and can lead to errors indecipherable to the average user. | 20:29:48 |
David Arnold (blaggacao) | Hm, I see. Alternatively I could just patch colmena, but that would make me responsible for building and caching, which I generally try to avoid. | 20:42:02 |
David Arnold (blaggacao) | The problem I have with the built-in interface is that it pertains to 'nix as boilerplate' which is fine for power-users but usually quite a non-starter for nix-newbies. | 20:42:50 |
David Arnold (blaggacao) | It is a real challenge to present newcomers with a consistent and well-designed system that is explicitly free of adapter code and boilerplate. | 20:43:34 |
David Arnold (blaggacao) | But on the other hand, ofc, I don't claim that std layout should be any officially supported layout. | 20:43:59 |
David Arnold (blaggacao) | With that draft PR I was thinking to ship a wrapped colemena version with std that makes use of the --eval flag and a custom / purpose-built evaluator. | 20:45:57 |
David Arnold (blaggacao) | By not documenting that --eval flag, maybe we might have found an acceptable solution? I'm happy to follow-up on the internal interface when there are changes. | 20:47:19 |
David Arnold (blaggacao) | .hide(true), that is. | 21:00:11 |
Zhaofeng Li | I know what you mean, but I'm still not convinced that this brings enough benefits for the headaches it will cause (any addition to eval.nix will break this contract). Can your growOn expose a "normal" outputs.colmena/outputs.colmenaConfigurations? | 21:13:40 |
David Arnold (blaggacao) | Yes it can, but it's not an option due to the non-nix natives that would be confused by this boilerplate. | 21:14:47 |
David Arnold (blaggacao) | Also the problem gets exacerbated by the handling of system. | 21:15:25 |
David Arnold (blaggacao) | Essentially, nixosConfigurations live in all top-level system spaces, but are filtered out if the systems don't match. Reducing that to q multi-system typed outputs.colmena would be probably the largest chunk of any stdized flake and pure boilerplate. | 21:16:50 |
David Arnold (blaggacao) | * Essentially, nixosConfigurations live in all top-level system spaces, but are filtered out if the systems don't match. Reducing that to a multi-system typed `outputs.colmena` would be probably the largest chunk of any `std`ized flake and pure boilerplate. | 21:17:12 |
David Arnold (blaggacao) | I mean, my use case is explicitly to make the use of nix friendly enough that strong & principled nix opponents don't veto everything. | 21:18:13 |
David Arnold (blaggacao) | Another problem might be that I can't do a std-native colmenaConfig action. Because for it to work, any end user would have to replicate that boilerplate.
That also means that we directly load the problem of schema-drift out to all the future end users of that boilerplate.
In this scenario, I think it's better for me to maintain this centrally and collocate colmena and schema with pinned versions. | 21:22:25 |
Zhaofeng Li | In reply to @blaggacao:matrix.org Essentially, nixosConfigurations live in all top-level system spaces, but are filtered out if the systems don't match. Reducing that to a multi-system typed outputs.colmena would be probably the largest chunk of any stdized flake and pure boilerplate. Could you elaborate? All the conversion can be done in your opinionated std layer, and there is no boilerplate from the user's perspective if they buy into your view. | 21:22:56 |
David Arnold (blaggacao) | Well, the flake.nix is a user flake. It needs to have a co.pat layer right there to work with colmena. | 21:24:01 |
David Arnold (blaggacao) | std has no middle ware to do that conversion for the user. | 21:24:38 |
David Arnold (blaggacao) | Essentially, std has just gotten rid of it's last compatibility layer that projected the schema onto something that nix itself requires. | 21:25:41 |
David Arnold (blaggacao) | The reason is that rhe end user should also have a consistent view of the std mental model when entering the repl. | 21:26:17 |
David Arnold (blaggacao) | The only way to communicate metadata in std is .#__std. | 21:26:37 |
David Arnold (blaggacao) | (by design) | 21:26:46 |
Zhaofeng Li | So you are essentially expecting all tools to be .#__std-aware (either natively or through some out-of-tree hackery like this), not the other way around. I'm not sure that this is a workable way forward. | 21:33:54 |
David Arnold (blaggacao) | The problem with the other way round is that it very fundamentally breaks a homogeneous out-of-the-box experience.
std expects for it's purpose (and within it's boundaries) self.outputs to be it's exclusive domain.
It therefore expects all tools that it ships with to be schema neutral. | 21:39:53 |
David Arnold (blaggacao) | If adapters are necessary, they can be done by the user via std.growOn. But the user has to conscientiously implement those adapters. | 21:41:07 |
David Arnold (blaggacao) | So for an out-of-the-box experience, std expects tooling that it ships with to be flake schema-neutral | 21:42:52 |
David Arnold (blaggacao) | std.grow, on the other hand, can't produce an output schema that doesn't correspond to the folder layout. | 21:45:16 |
David Arnold (blaggacao) | In reply to @zhaofeng:zhaofeng.li So you are essentially expecting all tools to be .#__std-aware (either natively or through some out-of-tree hackery like this), not the other way around. I'm not sure that this is a workable way forward. For clarification, that is actually not technically correct. .#__std is the mechanism by which metadata is transferred to the TUI, including actions. Those actions can transport an arbitrary command sequence. | 22:45:34 |