Dynamic type systems are not inherently more open

4 points| Munksgaard | 20 days ago |lexi-lambda.github.io