Comprobacin de TiposCaptulo 6

Comprobacin estticaDiferente de la dinmica (en runtime)EjemplosComprobacin de tiposIncompatibilidad de operadoresFlujo de controlExit Do, break, halt, while, nextUnicidadVariables nicas en su mbito

Comprobacin estticaMs ejemplosNombresBegin transaction NNN --- Commit transaction NNNComprobacin dinmica es necesariatabla: array[0..255] of char;i: integerVerificar i

Sistemas de tiposBasado enLa nocin de tipoTipos bsicos o primitivosTipos construidos o referencialesLas reglas para asignar tiposSuma de dos reales es un?Concatenacin de dos char es un?

Expresiones de tiposUn tipo bsicoBoolean, char, integer, long, float, etc.error_tipoEl nombre de un tipopublic class Telefono {int nmero; int internacional;}Constructores de tipos

Constructores de tiposMatricesArray(I,T)String[20] nombres;Productos cartesianosT1 x T2RegistrosRecord((NNN x integer) x (MMM x String))

Constructores de tiposApuntadoresPointer(T)Funcionesint x int => intint calcula(int par1; int par2) { return par1*par2; }

Comprobador de tiposGramtica de los tiposReglas semnticasAtributo (sintetizado o heredado) tipo