Curso de programación en Rust

Lección 1 • Tipos Compuestos y Colecciones

Introduce tuplas, arreglos, estructuras (structs) y enumeraciones (enums) como contenedores de datos. Prepara a los estudiantes para modelar datos del mundo real antes de introducir la propiedad (ownership).

Lección 2 • Instalación y Configuración del Toolchain

Configure Rust mediante rustup, administre versiones del toolchain y configure editores. Establece la línea base de desarrollo requerida para todo el trabajo posterior.

Lección 3 • Cargo y el Sistema de Módulos

Explica los comandos de Cargo, la estructura de Cargo.toml y las reglas de visibilidad de módulos. Permite organizar proyectos con múltiples archivos desde el principio.

Lección 4 • Sintaxis Básica y Tipos Primitivos

Cubre variables, mutabilidad, tipos escalares y expresiones básicas. Proporciona la base sintáctica de la que depende cada capítulo posterior.

Lección 1 • Anotaciones de Tiempo de Vida (Lifetime)

Introduce la sintaxis de tiempos de vida, las reglas de elisión y los parámetros de tiempo de vida en estructuras. Permite escribir funciones que retornan referencias de forma segura.

Lección 2 • Punteros Inteligentes (Smart Pointers)

Explora Box, Rc, Arc, RefCell y sus casos de uso. Extiende los patrones de propiedad a escenarios de asignación en el montículo (heap) y propiedad compartida.

Lección 3 • Reglas de Propiedad y Semántica de Movimiento (Move)

Define las tres reglas de propiedad y explica la semántica de movimiento vs. copia. Forma el núcleo conceptual sobre el cual se construye todo el razonamiento del verificador de préstamos.

Lección 1 • Traits de la Librería Estándar en Profundidad

Cubre los traits Iterator, From/Into, Display y de sobrecarga de operadores. Integra tipos personalizados sin problemas con el ecosistema de la librería estándar.

Lección 2 • Características Avanzadas del Sistema de Tipos

Introduce tipos asociados, genéricos constantes (const generics) y el patrón newtype. Permite API precisas y expresivas que previenen el uso incorrecto en tiempo de compilación.

Lección 3 • Definición e Implementación de Traits

Cubre definiciones de traits, métodos predeterminados e implementación de traits en tipos personalizados. Permite el comportamiento polimórfico central para el diseño idiomático en Rust.

Lección 4 • Objetos Trait y Despacho Dinámico

Explica dyn Trait, reglas de seguridad de objetos y las ventajas y desventajas del costo de la vtable. Permite el polimorfismo en tiempo de ejecución cuando el despacho estático es insuficiente.

Lección 1 • Tipos de Error Personalizados

Explica implementar std::error::Error, errores basados en enumeraciones y contexto de error. Produce errores descriptivos y estructurados adecuados para código de librerías y aplicaciones.

Lección 2 • Pánicos (Panics), Desenrollado (Unwinding) y Afirmaciones (Assertions)

Cubre panic!, assert!, catch_unwind y las estrategias de abortar vs. desenrollar. Aclara cuándo son aceptables los pánicos y cómo contenerlos.

Lección 3 • Combinadores y el Operador ?

Enseña map, and_then, unwrap_or y el operador de propagación ?. Permite cadenas de propagación de errores concisas y legibles en funciones reales.

Lección 1 • Recolección y Consumo de Iteradores

Cubre collect, fold, reduce, sum y partition. Convierte cadenas perezosas (lazy chains) en resultados concretos y valores agregados.

Lección 2 • Iteradores Personalizados y Patrones Avanzados

Implementa el trait Iterator en tipos personalizados y explora patrones estilo generador. Extiende la composición de iteradores a estructuras de datos de dominio específico.

Lección 3 • Closures y Modos de Captura

Explica la sintaxis de closures, los traits Fn/FnMut/FnOnce y la captura por referencia vs. move. Permite pasar comportamientos como valores a través del código base.

Lección 4 • Adaptadores de Iteradores Esenciales

Enseña map, filter, flat_map, zip, enumerate y take. Construye el vocabulario de adaptadores necesario para pipelines de procesamiento de datos del mundo real.

Lección 1 • Hilos y Estado Compartido

Cubre thread::spawn, join handles, Send/Sync traits, y Mutex-guarded state. Establece patrones seguros de multi-threading reforzados por el compilador.

Lección 2 • Patrones de Concurrencia y Errores Comunes

Examina deadlocks (bloqueos mutuos), starvation (inanición), cancelación asíncrona y concurrencia estructurada. Desarrolla el criterio para elegir el modelo de concurrencia correcto por caso de uso.

Lección 3 • Paso de Mensajes con Canales

Enseña los canales mpsc, patrones de múltiples productores y el diseño de actores basado en canales. Proporciona una alternativa al estado compartido para la comunicación entre hilos.

Lección 4 • El Runtime de Tokio en la Práctica

Cubre la configuración de Tokio, la creación de tareas, select! y primitivas de E/S asíncrona. Conecta la teoría asíncrona con el runtime de producción más utilizado.

Lección 1 • Punteros Crudos (Raw Pointers) y Bloques Unsafe

Cubre *const T, *mut T, las reglas para desreferenciar y el alcance de los bloques unsafe. Establece el principio de huella mínima para el código inseguro.

Lección 2 • Diseño de Memoria y Asignación

Explica los atributos repr, la alineación, el relleno (padding) y el API del asignador global. Permite un control preciso sobre la disposición de los datos para rendimiento y compatibilidad con FFI.

Lección 3 • Ensamblador en Línea (Inline Assembly) e Intrínsecos

Cubre la sintaxis del macro asm!, las restricciones de registro y los intrínsecos SIMD. Permite optimizaciones a nivel de hardware donde la salida del compilador es insuficiente.

Lección 4 • Abstracciones Seguras sobre Código Unsafe

Demuestra cómo encapsular partes internas inseguras (unsafe) detrás de API públicas seguras. Produce componentes reutilizables y auditables que preservan las garantías de seguridad de Rust externamente.

Lección 1 • Configuración, Logging y Observabilidad

Introduce la gestión de configuración, el registro estructurado con tracing y la emisión de métricas. Proporciona la visibilidad en tiempo de ejecución esencial para operar servicios en producción.

Lección 2 • Perfilamiento de Rendimiento y Optimización

Cubre benchmarks con criterion, flamegraphs, perfilamiento de asignación y sugerencias al compilador. Identifica y elimina cuellos de botella con técnicas basadas en datos.

Lección 3 • Empaquetado, Despliegue y Publicación

Cubre la compilación cruzada, la contenerización con Docker, la reducción del tamaño del binario y los perfiles de publicación (release). Produce artefactos desplegables optimizados para los entornos de destino.

Lección 4 • Estrategias de Pruebas e Integración Continua (CI)

Enseña pruebas unitarias, pruebas de integración, pruebas basadas en propiedades y pipelines de CI. Garantiza que la corrección del código se verifique automáticamente en cada cambio.