[Python] un bel dilemma

[Nadir Sampaoli]

Il 28/lug/2015 19:06, "enrico franchi" <enrico.franchi a gmail.com> ha
scritto:
> Il contrario: le funzioni totali (per definizione) terminano sempre. Se
hai solo funzioni totali termini sempre [a meno che nel frattempo non
collassi l'universo -- escludendo problemi hw di natura piu' mondana: le
mdt per definizione non si spaccano ]. Comunque, battute a parte: le
funzioni totali per definizione terminano. Le funzioni parziali possono non
terminare per determinati (potenzialmente tutti) gli input. Non a caso hai
bisogno delle funzioni parziali per esprimere quello che e' intuitivamente
turing-calcolabile. Se hai le funzioni parziali, hai anche l'halting
problem.
Capisco. Ma tolte le funzioni non-totali (aka parziali) che contengono
evidentemente un bottom, esiste anche un insieme di funzioni che pur
essendo ben-tipizzate vanno a bottom. Es.:
https://en.m.wikibooks.org/wiki/Haskell/Fix_and_recursion

Oppure no?

--
Nadir
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://lists.python.it/pipermail/python/attachments/20150728/347d02ae/attachment.html>