News for hackers. Stuff that matters.

A comment on Teaching the Unfortunate Parts. Parent comment

Re:Teaching the Unfortunate Parts by ufo on Monday December 28, 2020 @09:48PM (#25566194)
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
[ Parent | on HN ]

There are no comments on this comment yet.