2021/01/29 05:34https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ #programming_language #types #haskell