Hacker News new | ask | show | jobs
by quotemstr 587 days ago
SAL is wildly successful in the Windows world and is basically a contract language embedded in C macros.