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