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 <[email protected]>: > per chance, is there work underway to make nix a typed language? > > kr/sjm > _______________________________________________ > nix-dev mailing list > [email protected] > http://lists.science.uu.nl/mailman/listinfo/nix-dev >
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
