logoalt Hacker News

rramadass • today at 4:14 AM • 0 replies • view on HN

Concepts are for Types at compile time while Contracts are for Values at runtime.