Hacker News new | past | comments | ask | show | jobs | submit
typesystems can be considered a kind of static analysis