[Python] un bel dilemma

[enrico franchi]

2015-07-28 15:14 GMT+01:00 Carlo Miron <miron a 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-
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://lists.python.it/pipermail/python/attachments/20150728/ae93fbfe/attachment-0001.html>