Fair enough, I guess. Although I’m not sure I immediately see how nickel is better. Off the top of my head, typing would mostly matter in stuff like options, where we have type checks (ish) already, unless using types.anything or whatever else there is serving a similar purpose
It’s mostly useful for all kinds of reusable code aka “why do I have to run the code before nix can tell me that I missed an argument to fetchFromGithub”.
Fair enough, I guess. Although I’m not sure I immediately see how nickel is better. Off the top of my head, typing would mostly matter in stuff like options, where we have type checks (ish) already, unless using
types.anythingor whatever else there is serving a similar purposeIt’s mostly useful for all kinds of reusable code aka “why do I have to run the code before nix can tell me that I missed an argument to
fetchFromGithub”.