3 ms·
>Type inference in the presence of subtyping is so hard that no programming language does it currently. Hack does some cute stuff in this area. E.g. the type c
by amenghra 10y ago
>Type inference in the presence of subtyping is so hard that no programming language does it currently.
Hack does some cute stuff in this area. E.g. the type checker postpones inferring the type of empty arrays.