Scala utilizza un sistema di tipi basato su Sistema F ω, che normalmente si dice che sia fortemente normalizzante. La forte normalizzazione implica la non completezza di Turing.Quale proprietà del sistema di tipi Scala lo rende Turing-completo?
Tuttavia, il sistema di tipo Scala è completo di Turing.
Quali modifiche/aggiunte/modifiche rendono il sistema di tipi di Scala completo di Turing rispetto agli algoritmi e ai sistemi formali?
Collegamenti/riferimenti? (Per gli spettatori, come me :-) –
Il fatto che System F sia fortemente normalizzato implica che System F non sia Turing completo. Non implica che il suo sistema di tipi non lo sia. E infatti è stato dimostrato che [typechecking un Sistema F senza restrizioni è indecidibile] (http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.6483) – sepp2k
@ sepp2k - yikes, the la cosa peggiore della completezza di Turing e ce l'ha. – Malvolio