> Flake schemas are not a type system for Nix, since that would be a huge project.

The lack of a reasonable type system is one of the biggest Nix problems.

There’s this https://github.com/tweag/nickel

Coupled with https://github.com/nickel-lang/organist

I’m not sure how immature it is though.