scala - que - algoritmos de agrupamiento clustering

¿Qué propiedad del sistema de tipos de Scala lo hace Turing-complete?

Question

Scala usa un sistema de tipos basado en el Sistema F ω, que normalmente se dice que es fuertemente normalizador. La normalización fuerte implica la integridad no-Turing.

Sin embargo, el sistema de tipos de Scala está completo en Turing.

¿Qué cambios / adiciones / modificaciones hacen que el sistema de tipos de Scala se complete con Turing en comparación con los algoritmos y sistemas formales?

Answer 1

No es una respuesta completa, pero la razón es que puede definir tipos recursivos .

He hecho preguntas similares antes ( sobre cómo podría ser un lenguaje completo que no sea de Turing ). Las respuestas fueron de la forma: un lenguaje completo de Turing debe admitir bucles arbitrarios o recursiones . El sistema tipográfico de Scala soporta este último.