[Nix-dev] typed nix

[John Ericson]

Row polymorphism for extensions of attribute sets, and Mu types for all our
stuff with fix-points. I believe that whenever we have have dynamic keys,
all values have the same type so plain old maps will suffice; if this is
not quite the case then we should refactor to make it the case.

On Wed, Aug 31, 2016 at 12:40 PM, stewart mackenzie <setori88 at gmail.com>
wrote:

> 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...
>
> _______________________________________________
> 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/20160917/1322ce16/attachment.html>