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>
> 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 mailing list