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

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

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

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

rerdavies 7 months ago [–]

Not really sure that a type system is going to guarantee that your program generates the correct result for every possible input.

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