Este libro está elaborado como un borrador sobre los fundamentos de la programación.

El cuerpo central de este trabajo se basa en que las características de los lenguajes de programación pueden ser vistas como manifestaciones de una estructura de subyacente que rige su sintaxis y semántica.

El énfasis, por lo tanto, es en el concepto de tipo (type), que codifica y organiza el universo computacional de la misma manera que el concepto de conjunto (set) puede ser visto como un principio de organización para el universo matemático.

El propósito de este libro es explicar ese patrón.