Are unsound type systems wrong?

Article URL: http://frenchy64.github.io/2018/04/07/unsoundness-in-untyped-types.html

Comments URL: https://news.ycombinator.com/item?id=16780068

Points: 16

# Comments: 0

from Hacker News: Front Page https://ift.tt/2uRn7p7
via