<p dir="ltr"><br>
Il 28/lug/2015 19:06, "enrico franchi" <<a href="mailto:enrico.franchi@gmail.com">enrico.franchi@gmail.com</a>> ha scritto:<br>
> 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.<br>
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.: <a href="https://en.m.wikibooks.org/wiki/Haskell/Fix_and_recursion">https://en.m.wikibooks.org/wiki/Haskell/Fix_and_recursion</a></p>
<p dir="ltr">Oppure no?</p>
<p dir="ltr">--<br>
Nadir</p>