<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2015-04-20 22:09 GMT+02:00 Enrico Bianchi <span dir="ltr"><<a href="mailto:enrico.bianchi@ymail.com" target="_blank">enrico.bianchi@ymail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In questo si, ovvero viene fatto un abuso di type(), </blockquote><div><br></div><div>Esatto. Quel codice non va bene poiche' restringe l'input in modo insensato. Potrebbe funzionare con ben altri input e li sto tagliando fuori senza motivo.</div><div><br></div><div>Ora, riguarda quello iniziale:</div><div><br></div><div>def add(x : int, y : int) ...</div><div><br></div><div>Vedi che ha lo stesso problema logico? Ovvero, se per qualunque scopo venga usato (documentazione, static analysis, etc) "mente".  Quello che probabilmente avresti voluto, sarebbe stato *almeno* annotare con Number.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">senza contare il raise buttato li senza motivo </blockquote><div><br></div><div>Il motivo c'e': qualcosa devo fare se decido che gli argomenti non mi vanno bene. </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">(ovvero, avrei almeno messo un else per rendere piu` sensato quel codice)</blockquote></div><br>L'else in questo caso e' purissima questione stilistica (nel senso che semanticamente non cambia nulla); diciamo che non e' quello il punto, come non e' il punto che il type error non abbia un messaggio d'errore sensato, etc etc etc.<br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"> .<br>..: -enrico-</div>
</div></div>