2015-07-28 15:14 GMT+01:00 Carlo Miron <mi...@python.it>: > > Allora, se vuoi modellare una computazione fal punto di vista formale, > hai > > bisogno che ogni "operazione" abbia un tipo. > > O per lo meno lo fai se stai facendo type-theory. > > Pony ha la clausola `else` appiccicabile a tutte le strutture di > controllo¹, per gestire questo caso (in alternativa, restituisce > implicitamente `None`). > > ¹ <http://tutorial.ponylang.org/expressions/control-structures/>
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'. -- . ..: -enrico-
_______________________________________________ Python mailing list Python@lists.python.it http://lists.python.it/mailman/listinfo/python
