Fuente: Wikipedia. Paginas: 59. Capitulos: Estructuras de control, Tipos de datos, Variables (programacion), Programacion estructurada, Tipo de dato, Codigo fuente, Sistema de tipos, Pila de llamadas, Objeto, GOTO, Tipo de dato abstracto, Lineas de codigo fuente, Variable de entorno, Operador ternario, Resolucion de problemas de programacion, Bucle for, Sentencia condicional, Switch case, Modulo de nucleo, Variable global, Codeblock, Here document, Parche, Variable estatica, GOSUB, Variable local, Union, Variable externa, Tipo de dato algebraico, Manejo de excepciones, Printf, Iteracion, Subrutina, EOF, Eval, MapReduce, Currificacion, Timestamp, Palabra reservada, Bucle infinito, Espacio de nombres, Bucle while, Bucle repetir, Ejecutable, Conversion de tipos, Rango, PATH, Linea de codigo fuente, Tipo de dato anonimo, Transferencia incondicional, Tipo de dato elemental, Mnemonico, Variable de instancia, Codigo objeto, Expresion, Codigo ejecutable, ==, Variable de clase, Macroinstruccion, Codigo nativo. Extracto: En ciencias de la computacion, un sistema de tipos define como un lenguaje de programacion clasifica los valores y las expresiones en tipos, como se pueden manipular estos tipos y como interactuan. Un tipo indica un conjunto de valores que tienen el mismo significado generico o proposito (aunque algunos tipos, como los tipos de datos abstractos y tipos de datos funcion, tal vez no representen valores en el programa que se esta ejecutando). Los sistemas de tipificacion varian significativamente entre lenguajes, siendo quizas las mas importantes variaciones las que esten en sus implementaciones de la sintactica en tiempo de compilacion y la operativa en tiempo de ejecucion. Un compilador puede usar el tipo estatico de un valor para optimizar el almacenamiento que necesita y la eleccion de los algoritmos para las operaciones sobre ese valor. Por ejemplo, en muchos compiladores de C el tipo de dato "flotante" se representa en 32 bits, de acuerdo con la especi...