¿Por qué dos puntos denotan que un valor pertenece a un tipo?
Pierce (2002) introduce la relación de mecanografía en la página 92 escribiendo: La relación de escritura para expresiones aritméticas, escrita "t: T", se define mediante un conjunto de reglas de inferencia que asignan tipos a términos y la nota al pie de página dice que el símbolo se usa a...