News for hackers. Stuff that matters.

A comment on Are unsound type systems wrong?. Parent comment

Re:Are unsound type systems wrong? by vilhelm_s on Saturday April 07, 2018 @03:09PM (#16782236)
Yes, although I would appeal to Rice's theorem rather than Gödel.
[ Parent | on HN ]

There are no comments on this comment yet.