News for hackers. Stuff that matters.

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

Re:Are unsound type systems wrong? by baq on Saturday April 07, 2018 @10:29AM (#16780841)
you can design a complete and sound type system in which any program can be checked in polynomial time.

https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_sy...

[ Parent | on HN ]

There are no comments on this comment yet.