Dynamic type systems are not inherently more open382 points by jose_zapRead the articleDiscussion on Hacker News