Dynamic attributes make exact typing hard. Perhaps Nix will adopt the gradually typed approach in a future.
https://en.wikipedia.org/wiki/Gradual_typing#Examples But would that be worth of it? 2016-08-29 21:47 GMT+00:00 stewart mackenzie <setor...@gmail.com>: > per chance, is there work underway to make nix a typed language? > > kr/sjm > _______________________________________________ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev >
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev