Why type systems are interesting? | Dark Hacker News