Static Types Are for Perfectionists | Dark Hacker News