<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2015-07-28 15:14 GMT+01:00 Carlo Miron <span dir="ltr"><<a href="mailto:miron@python.it" target="_blank">miron@python.it</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> Allora, se vuoi modellare una computazione fal punto di vista formale, hai<br>
> bisogno che ogni "operazione" abbia un tipo.<br>
> O per lo meno lo fai se stai facendo type-theory.<br>
<br>
</span>Pony ha la clausola `else` appiccicabile a tutte le strutture di<br>
controllo¹, per gestire questo caso (in alternativa, restituisce<br>
implicitamente `None`).<br>
<br>
¹ <<a href="http://tutorial.ponylang.org/expressions/control-structures/" rel="noreferrer" target="_blank">http://tutorial.ponylang.org/expressions/control-structures/</a>></blockquote></div><br>E' sempre un concetto leggermente diverso. "Bottom" non e' necessariamente esprimibile "dentro" il linguaggio. Alcuni linguaggi ti consentono di farlo, ma in generale non e' cosi'. <br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"> .<br>..: -enrico-</div>
</div></div>