[Nix-dev] typed nix

[Daniel Hlynskyi]

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 <setori88 at gmail.com>:

> per chance, is there work underway to make nix a typed language?
>
> kr/sjm
> _______________________________________________
> nix-dev mailing list
> nix-dev at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20160830/a3073773/attachment.html>