... for some spectactularly inconsistent and arbitrary definition of "correct pr... | Hacker News

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

		rerdavies 3 days ago \| parent \| context \| favorite \| on: Typechecking is undecidable when 'type' is a type ... ... for some spectactularly inconsistent and arbitrary definition of "correct program".

noosphr 2 days ago [–]

Yes, like giving the correct result for every possible input.

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