No, dynamic type systems are not inherently more open

[jaspervdj]

https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/