¿Qué es un tipo?

Si este es el tipo de un lenguaje de programación, tendrá diferentes significados en diferentes escenarios:

Desde la perspectiva de la teoría de tipos verificada formalmente y rigurosamente, el tipo es la estructura abstracta más básica. (En matemáticas, la mayoría de la gente usa conjuntos), se construyen diferentes estructuras y lógica a través de diferentes tipos.

El tipo corresponde al teorema, aquí tienes algunos ejemplos:

Si estás interesado en esto, puedes consultar el libro infantil de Friedman "El pequeño teclado".

Si desde la perspectiva del análisis estático, el tipo se puede representar como un valor abstracto en el proceso de interpretación abstracta, esta visión del tipo puede ser muy amplia, dependiendo de la definición y el uso del valor abstracto. por ejemplo, el término 1 se puede interpretar como (Add1 Zero), One, True, Int, etc.

Desde una perspectiva de bajo nivel, diferentes tipos pueden simplemente expresar diferentes ocupaciones espaciales.

tipo

n. tipo; escriba; texto (impreso o mecanografiado);