alt Hacker NewsContracts in Nix
Comments
Is this related to the Contracts RFC[1] and associated implementation[2] or is it its own freestanding work unrelated to upstream efforts?
Fun obscene fact! This site’s domain is sraka.xyz. In russian “sraka” is transliterated as “срака” which literally means ass.
Looks amazing!
Some time ago I wanted to write a Nix configuration dsl for an application I use. My effort halted due to lack of type checking, and implementing one felt like too much effort which would never pay back.
I'll give a try.
Meh. Runtime assertions are a poor substitute for a type system, even if you give them a type-system-like syntax.
Sorry to be that guy. I love nix, I want to read more about how people use nix.
The font presented under NixOS + Firefox is near unreadable on this website.
[flagged]
I was a bit skeptical at first coz my experience so far has been that Nix's weak typing quite rarely causes me problems.
(Likely because NixOS options tend to be how I communicate between pieces of code, and those have a good enough type system).
But actually I think, as something that you just use occasionally like in your JSON example, this could be really cool. I wouldn't wanna use it as "gradual typing" in the sense of aiming to gradually type a whole body of code I think I would be more interested in "selective typing".
Just occasionally when you get that itch of "ugh this will fail really ungracefully if the inputs are bad" then you just apply this where it's needed.