Blog121.8K views4,229 votes0 replies3,185 following
Racket Contracts: Turning Module Assumptions into Checked Boundaries
Racket contracts turn informal module assumptions into checked boundaries. See how `provide/contract` and `->i` catch API misuse early, and what they cost at runtime.
racket