Well unless the system can somehow infer it for you. But maybe this is too hard ... | Hacker News

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

		Tainnor on July 6, 2020 \| parent \| context \| favorite \| on: Division by zero in type theory: a FAQ Well unless the system can somehow infer it for you. But maybe this is too hard a problem for now?

hansvm on July 7, 2020 [–]

It's impossible to infer in general, and any dependant type system needs to be somehow designed around that fact.

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