logoalt Hacker News

binary132 • yesterday at 8:12 PM • 0 replies • view on HN

typesystems can be considered a kind of static analysis