7 ms·
Especially as the upcoming BitC language seems to have sound _and_ complete type inference http://en.wikipedia.org/wiki/BitC http://en.wikipedia.org/wiki/BitC
by vukk 16y ago
Especially as the upcoming BitC language seems to have sound _and_ complete type inference http://en.wikipedia.org/wiki/BitC http://en.wikipedia.org/wiki/BitC