So....Medium typing? Would that just be all the inference of Python mixed with t... | Hacker News

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

		no_wizard on June 10, 2017 \| parent \| context \| favorite \| on: Is Software Engineering Possible? So....Medium typing? Would that just be all the inference of Python mixed with the literalness of Swift?

Joeri on June 10, 2017 [–]

Actually I meant that the formal proof to code and the strongly typed code camps would eventually meet, as the type system grows richer it may approximate a proof.

SAI_Peregrinus on June 10, 2017 | [–]

The Homotopy Type Theory folks are way ahead of you on that one.

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