Contracts in Nix

by todsacerdoti on 2/1/2026, 8:15:21 AM

Comments

by: koiueo

Looks amazing!<p>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.<p>I'll give a try.

2/2/2026, 6:18:45 AM

by: lmm

Meh. Runtime assertions are a poor substitute for a type system, even if you give them a type-system-like syntax.

2/2/2026, 5:17:39 AM

by: bojo

Sorry to be that guy. I love nix, I want to read more about how people use nix.<p>The font presented under NixOS + Firefox is near unreadable on this website.

2/2/2026, 4:56:33 AM

by: boycothn

[dead]

2/2/2026, 6:05:11 AM