**Anders C. Sørby** @anderscs@snabelen.no · May 30, 2022, 07:15

**Anders C. Sørby** @anderscs@snabelen.no · May 30, 2022, 07:15

Anders C. Sørby @anderscs@snabelen.no

May 30, 2022, 07:15

Anders C. Sørby @anderscs@snabelen.no

Why does #nix #flake need to download 117.7 MiB just to do a simple evaluation? #NixOS has a big redundancy and data efficiency problem. Could this be solved by typing and improved tooling for nix?

**Jons Mostovojs** @jonn@social.doma.dev · 2022-05-30T08:33:09Z

Jons Mostovojs @jonn@social.doma.dev

@anderscs depending on what you're evaluating, but the answer is "not in general". Nix works in general.

May 30, 2022, 08:33 · Tusky · · ·

**Anders C. Sørby** @anderscs@snabelen.no · May 31, 2022, 15:53

**Anders C. Sørby** @anderscs@snabelen.no · May 31, 2022, 15:53

May 31, 2022, 15:53

Anders C. Sørby @anderscs@snabelen.no

@jonn
Agreed, but I would want better tooling to minimize unnecessary data and dependencies. I'm working on Nix.lean to give dependent types and better introspection to nix expressions.