[Nix-dev] typed nix

[stewart mackenzie]

Pffff "Nix won't be complete until it has static typing." Nice.

> highly nontrivial...

No doubt, but having that speed up would be quite nice. Especially when
using nix as a 'replacement' for make. It's the future!

What would the language even look like?

On 1 Sep 2016 03:29, "Vladimír Čunát" <vcunat at gmail.com> wrote:
> There's a ticket open:
> https://github.com/NixOS/nix/issues/14
> but IMO someone should first think through the implications,
> as I suspect they'll be highly nontrivial...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20160901/0b4c9269/attachment.html>