It would be a mistake to conclude that this means shoes are pointless or there's... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

lmm 7 months ago | parent | context | favorite | on: Typechecking is undecidable when 'type' is a type ...

It would be a mistake to conclude that this means shoes are pointless or there's no such thing as a shoe that fits well.

noosphr 7 months ago [–]

Indeed, there are other invariants to type systems that are much better than cutting off your toes.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact