3 ms·
So....Medium typing? Would that just be all the inference of Python mixed with the literalness of Swift?
by no_wizard 9y ago
So....Medium typing? Would that just be all the inference of Python mixed with the literalness of Swift?
- Joeri 9y agoActually 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 9y agoThe Homotopy Type Theory folks are way ahead of you on that one.