| 11 Jul 2023 |
 John Ericson | sorry in a work meeting will be late :/ | 14:33:25 |
 @piegames:matrix.org | "TODO: refactor once something like Profpatsch's types-simple will land" what's types-simple, and when will it land? | 15:52:55 |
| @piegames:matrix.org | Ah, found it: https://github.com/NixOS/nixpkgs/compare/master...Profpatsch:nixpkgs:types-simple-WIP | 15:54:21 |
 profpatsch | piegames: notime, Eelco said he doesn’t want it | 16:08:40 |
| @piegames:matrix.org | Somebody else would have to veto in order to stop me (: | 16:10:13 |
| @piegames:matrix.org | I might be motivated to pick this up, unless somebody shows me another way to solve my problems described in https://discourse.nixos.org/t/the-module-system-is-dead-how-to-do-input-validation/30297/4 | 16:11:20 |
| profpatsch | piegames: An alternative with a slightly different design is https://code.tvl.fyi/tree/nix/yants/default.nix | 16:11:44 |
| @piegames:matrix.org | Yeah I've seen YANTS and didn't like it as much | 16:12:07 |
| profpatsch | The main difference is that types-simple is out-of-band, while yants is in-band | 16:12:11 |
| @piegames:matrix.org | wdym | 16:12:30 |
| profpatsch | which gives yants the (partial) ability to type-check functions | 16:12:37 |
| profpatsch | types-simple can only typecheck “data”, not functions | 16:14:19 |
| profpatsch | depends on what you want to do, for checkMeta only checking data should be enough | 16:14:47 |
| @piegames:matrix.org | Well ideally I'd like to use this for Nixpkgs configuration too, but merging :( | 16:16:05 |
| profpatsch | merging is different from typechecking | 16:16:53 |
| profpatsch | conflating the two is a big source of annoyance | 16:17:02 |
