¿Existen novelas de este tipo?

La historia de la caída del hijo del gobernador, la superación de la misofobia, el sistema de generación de semillas y el sueño hecho realidad.

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. En el proceso de investigación de los tipos se han producido diversos métodos, como Camp W 1985, 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 necesitamos entender es 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 rico y su propio desarrollo teórico 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.