I love that people are finally realizing the importance of enforcing invariants in the type system. Linear types, Uniqueness types, Affine types... I love 'em all. ~~Hopefully somewhere in the future people realize even…
In my opinion, yes. I think really the biggest disadvantage you have with Nix is the learning curve. I mean the language is horrendous but I don't think it's really that much of a disadvantage neither.
I think what they're trying to say (with some artistic depiction from my side), is that Docker, which is much more intuitive and easy to use, which "does one thing and does it well", is ultimately superior to Nix in the…
I love that people are finally realizing the importance of enforcing invariants in the type system. Linear types, Uniqueness types, Affine types... I love 'em all. ~~Hopefully somewhere in the future people realize even…
In my opinion, yes. I think really the biggest disadvantage you have with Nix is the learning curve. I mean the language is horrendous but I don't think it's really that much of a disadvantage neither.
I think what they're trying to say (with some artistic depiction from my side), is that Docker, which is much more intuitive and easy to use, which "does one thing and does it well", is ultimately superior to Nix in the…