Curso de tipos de datos

Lección 1 • Qué representan los tipos de datos

Define los tipos de datos como contratos entre valores y operaciones. Establece el vocabulario que se usará a lo largo del curso.

Lección 2 • Por qué existen los sistemas de tipos

Explica las motivaciones de seguridad y eficiencia detrás de los sistemas de tipos. Conecta la disciplina de tipos con una menor cantidad de errores en tiempo de ejecución.

Lección 3 • Tipado fuerte vs. débil

Distingue la aplicación estricta de tipos de la coerción permisiva. Aclara conceptos erróneos comunes sobre la fortaleza del tipado.

Lección 4 • Tipos primitivos vs. compuestos

Contrasta los tipos primitivos atómicos con los tipos compuestos estructurados. Prepara a los estudiantes para categorizar cualquier tipo que encuentren.

Lección 1 • Promoción y coerción de tipos numéricos

Describe las conversiones automáticas de ampliación y reducción entre tipos numéricos. Los estudiantes predicen los resultados de coerción en expresiones de tipos mixtos.

Lección 2 • Tipos enteros y rangos

Cubre enteros con y sin signo en anchos de bits comunes. Los estudiantes calculan rangos de valores a partir de fórmulas de ancho de bits.

Lección 3 • Elección del tipo numérico correcto

Aplica criterios de selección basados en rango, precisión y necesidades de rendimiento. Refuerza todos los conceptos numéricos mediante ejercicios de decisión.

Lección 4 • Representación de punto flotante

Explica la representación binaria de números reales según el estándar IEEE 754. Los estudiantes identifican la pérdida de precisión y los artefactos de redondeo.

Lección 1 • Valores veraces y falsos

Explica cómo los valores no booleanos se convierten a booleano en lenguajes dinámicos. Los estudiantes evitan errores comunes de veracidad.

Lección 2 • Null y undefined como valores especiales

Examina null y undefined como marcadores distintos de ausencia de valor. Los estudiantes aplican patrones de seguridad ante nulos para prevenir errores de referencia nula.

Lección 3 • Fundamentos de codificación de caracteres

Presenta ASCII y Unicode como la base de los tipos de carácter. Los estudiantes relacionan caracteres con puntos de código y secuencias de bytes.

Lección 4 • El tipo carácter en la práctica

Cubre cómo los lenguajes representan un solo carácter y sus operaciones. Conecta los tipos de carácter con la construcción de cadenas.

Lección 1 • Validación y normalización de cadenas

Aplica expresiones regulares y normalización Unicode para validar y limpiar cadenas de entrada. Lo conecta con requisitos de calidad de datos y seguridad.

Lección 2 • Formateo e interpolación de cadenas

Enseña cadenas de formato, literales de plantilla y sintaxis de interpolación. Los estudiantes producen resultados formateados legibles y seguros contra inyecciones.

Lección 3 • Estructura interna de las cadenas y disposición en memoria

Revela cómo se almacenan las cadenas en la memoria como secuencias de caracteres. Conecta la disposición interna con las implicaciones de rendimiento.

Lección 4 • Operaciones principales con cadenas

Cubre segmentación, búsqueda, reemplazo y división de cadenas. Construye el conjunto de herramientas de manipulación que se usará en todo el trabajo posterior con texto.

Lección 1 • Listas dinámicas y arreglos redimensionables

Explica cómo las listas dinámicas crecen al reasignar los arreglos de respaldo. Los estudiantes entienden el costo amortizado y la gestión de capacidad.

Lección 2 • Elección del tipo de colección correcto

Aplica criterios de selección basados en orden, unicidad y patrones de acceso. Sintetiza todos los tipos de colección mediante ejercicios comparativos.

Lección 3 • Conjuntos: colecciones de elementos únicos

Presenta los conjuntos como colecciones no ordenadas con garantía de unicidad. Los estudiantes aplican operaciones de conjuntos para deduplicación y pruebas de pertenencia.

Lección 4 • Arreglos: secuencias de tamaño fijo

Cubre arreglos en memoria contigua, indexación y verificación de límites. Establece los arreglos como la base para todos los tipos de colección.

Lección 5 • Mapas y almacenes clave-valor

Cubre mapas hash y mapas de árbol como estructuras de datos asociativas. Los estudiantes implementan patrones de búsqueda, inserción e iteración.

Lección 1 • Diseño para la seguridad de tipos

Aplica patrones de diseño con seguridad de tipos para prevenir errores de conversión desde la construcción. Refuerza los principios de seguridad en todos los tipos previamente estudiados.

Lección 2 • Errores de tipo y depuración

Cataloga los errores de tipo comunes y sus causas raíz. Los estudiantes usan mensajes de error y trazas de pila para localizar y corregir errores de tipo.

Lección 3 • Técnicas de conversión explícita

Cubre la sintaxis de conversión segura e insegura en todos los paradigmas. Los estudiantes aplican el principio de mínimo privilegio en las conversiones para minimizar la pérdida de datos.

Lección 4 • Guardianes de tipo y verificaciones en tiempo de ejecución

Presenta la inspección de tipos en tiempo de ejecución para validar tipos antes de su uso. Conecta los guardianes de tipo con patrones de programación defensiva.

Lección 1 • Alias de tipo y envoltorios newtype

Distingue los alias transparentes de los envoltorios newtype opacos. Los estudiantes mejoran la claridad del código y previenen errores por confusión de unidades.

Lección 2 • Enumeraciones y constantes con nombre

Define las enumeraciones como conjuntos cerrados de valores con nombre. Los estudiantes reemplazan números mágicos y cadenas por enumeraciones con seguridad de tipos.

Lección 3 • Tipos recursivos y de variante recursiva

Modela estructuras autorreferenciales como árboles y listas enlazadas. Conecta los tipos recursivos con la implementación de estructuras de datos.

Lección 4 • Uniones y tipos suma

Presenta tipos que contienen uno de varios tipos alternativos en tiempo de ejecución. Los estudiantes usan coincidencia de patrones exhaustiva para manejar todas las variantes de forma segura.

Lección 1 • Inferencia y anotación de tipos

Explica cómo los compiladores deducen tipos automáticamente y cuándo se requieren anotaciones explícitas. Los estudiantes equilibran la conveniencia de la inferencia con la claridad de la anotación.

Lección 2 • Tipos en el diseño de API y esquemas

Aplica el pensamiento de tipos a contratos de API, esquemas de serialización y formatos de intercambio de datos. Los estudiantes diseñan API que comunican la intención a través de los tipos.

Lección 3 • Evaluación de sistemas de tipos en diferentes lenguajes

Compara los sistemas de tipos de varios lenguajes mainstream usando criterios coherentes. Los estudiantes seleccionan el sistema de tipos de lenguaje adecuado para el contexto de un proyecto dado.

Lección 4 • Genéricos y tipos paramétricos

Presenta los parámetros de tipo que permiten abstracciones reutilizables y seguras en cuanto a tipos. Los estudiantes escriben funciones y contenedores genéricos sin sacrificar la seguridad.