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 <setor...@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" <vcu...@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@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
