Presumably with the rather unpleasant side-effect of compiles that may never fin... | Hacker News

HN2new | past | comments | ask | show | jobs | submit

		rerdavies 1 day ago \| parent \| context \| favorite \| on: Typechecking is undecidable when 'type' is a type ... Presumably with the rather unpleasant side-effect of compiles that may never finish. :-P

lmm 1 day ago [–]

Yes, but all practical programming languages have that problem anyway, in practice if not in theory.

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