09:41 <pie__> would a language extension where you can have a default argument that gets extended by new arguments, as opposed to not set, make sense? or would that make things too complicated? right now im just using { arg ? {} } and then later where I use arg I do (defaults.arg // arg)

10:18 <ekleog> The definition of “extended” is going to be quite heavily problem-specific

10:19 <ekleog> `//` is one possible version, but `submodule { foo = lines; bar = listOf any; }` in nixos module parlance is another

10:20 <ekleog> so for the minor boilerplate it requires, I'm not sure it's worth including an entire extension system in the nix language

12:08 <pie__> ok that sounds reasonable i thik