Assertions in production? (TigerBeetle Vol. 3) With Alex aka matklad
The Geek Narrator · 80:18
Assertions and types are complementary, not rivals: use types for cheap structural proofs, then build a dense, production-enabled network of crash-on-false assertions and exercise it with deterministic simulation test...