Hacker News new | ask | show | jobs
by ufo 2005 days ago
IIRC some of those soundness holes are an intentional tradeoff to simplify the type system. http://users.soe.ucsc.edu/~abadi/Papers/FTS-submitted.pdf