Dynamic type systems are not inherently more open | Hacker News Reader