Dynamic type systems are not inherently more open (2020) | Heykuki News