3 ms·
A smart compiler might recognize cases where a finite number of types suffice, and reject programs where no such bound can be deduced.
by tromp 4y ago
A smart compiler might recognize cases where a finite number of types suffice, and reject programs where no such bound can be deduced.