Il 28/lug/2015 19:06, "enrico franchi" <enrico.fran...@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
_______________________________________________ Python mailing list Python@lists.python.it http://lists.python.it/mailman/listinfo/python
