missed the list, sorry. 2016-08-30 14:01 GMT+02:00 Maarten Hoogendoorn <[email protected]>:
> 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 <[email protected]>: > >> 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 >> >> >
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
