<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2015-01-01 16:19 GMT+01:00 Alessandro Re <span dir="ltr"><<a href="mailto:ale@ale-re.net" target="_blank">ale@ale-re.net</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">Intendevo dire che a volte avere un compilatore che fa i controlli sui tipi e molto utile :)</p><div class="HOEnZb"></div></blockquote></div><br>Sinceramente a me che il *compilatore* faccia il *controllo* sui tipi non frega grosso modo nulla.</div><div class="gmail_extra">A meno che non si usi un linguaggio come Haskell e combriccola il compilatore puo' comunque fare poco, visto che il tipo dinamico e' frequentemente diverso dal tipo statico e quindi il compilatore puo' fare pochino. La classe di bachi che prende e' veramente ristretta e tipicamente gia' coperta da test nemmeno troppo accurata. </div><div class="gmail_extra"><br></div><div class="gmail_extra">Altri tool possono beneficiare da sapere i tipi statici, ma non certo il compilatore. <br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"> .<br>..: -enrico-</div>
</div></div>