News for hackers. Stuff that matters.

A comment on Where do type systems come from? (2017). Parent comment

Re:Where do type systems come from? (2017) by reuben364 on Friday October 01, 2021 @04:34PM (#28723135)
A more degenerate argument: a type system that rejects all programs will prevent all bugs.
[ Parent | on HN ]
Re:Where do type systems come from? (2017) by Koshkin on Friday October 01, 2021 @05:15PM (#28723460)
I have seen programmers 1) design a type hierarchy; 2) struggle getting things compiled; 3) give up.
[ Parent | on HN ]