Peoples usual struggle is to make a difference between the language and nixpkgs’s or nixos frameworks (mkderivations, makescope, override, overrideAttr, overridePythonAttrs, flakes, overlays, modules, services… etc.)
The tutorials try to teach a soup of functional programming, build systems, configurations, nix language and nix framework, and that’s somewhat difficult to disentangle and tell what’s what.
Anyway I use it as my daily driver now, and overcame almost all the difficulties, but one still remains: the lack of static type checking. It’s hard to build and validate modules without having this built in the language itself.
I’m hoping that you’d accelerate the work on nickel and try to automatically translate the current nixpkgs/nixos.
The tutorials try to teach a soup of functional programming, build systems, configurations, nix language and nix framework, and that’s somewhat difficult to disentangle and tell what’s what.
Anyway I use it as my daily driver now, and overcame almost all the difficulties, but one still remains: the lack of static type checking. It’s hard to build and validate modules without having this built in the language itself.
I’m hoping that you’d accelerate the work on nickel and try to automatically translate the current nixpkgs/nixos.