¿Qué tipo de enchufe elegir?

Tipo.

El origen, la investigación y el desarrollo de tipos y sistemas de tipos son independientes de la POO. Ya en la implementación del compilador del lenguaje FORTRAN en la década de 1950, el sistema de tipos se ha utilizado como medio de verificación de tipos. Un tipo generalizado generalmente se define como una restricción, es decir, una fórmula lógica. Los orígenes, la investigación y el desarrollo de tipos y sistemas de tipos son independientes de la programación orientada a objetos. Se han producido una variedad de métodos durante el estudio de tipos, como C&W1985, etc. El enfoque algebraico es una muy buena manera de establecer especificaciones formales de tipos. Un tipo en álgebra corresponde a una secuencia de elementos sobre los cuales se definen operaciones algebraicas.

Al mismo tiempo, sobre esta base, se ha utilizado el cálculo lambda de segundo orden en modelos soportados por herencia y plantillas. En los dos métodos anteriores, se considera que el tipo es una serie de elementos que satisfacen ciertas restricciones. De una manera más abstracta, se puede considerar que un tipo especifica una restricción. Si las restricciones que especificamos son mejores, los elementos definidos correspondientes lo serán. Cuanto más precisa es la colección, las fórmulas lógicas se convierten en la herramienta más adecuada para describir las características tipográficas. Aquí, no queremos profundizar en los diversos modelos matemáticos de la teoría de tipos. Lo que debemos entender es que la connotación de tipo (tipo) y teoría de tipos, un concepto que se usa a menudo en los lenguajes de programación, es extremadamente rica y. sus connotaciones son extremadamente ricas. El desarrollo de su propia teoría no se limita a la programación orientada a objetos, pero cuando los dos se combinan, tiene un gran impacto en nuestra visión de la programación.