missed the list, sorry. 2016-08-30 14:01 GMT+02:00 Maarten Hoogendoorn <maar...@moretea.nl>:
> I started to experiment a bit with this, when I tried to add documentation > to functions at the 3 day hackathon in Berlin last June. > > A small youtube demo: https://www.youtube.com/watch?v=ahVu3tjrriM > > > 2016-08-30 5:52 GMT+02:00 Daniel Hlynskyi <abcz2.upr...@gmail.com>: > >> 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 >> >> >
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev