TecNM Campus Tijuana · Ingeniería en Sistemas Computacionales
"A longtime JavaScript programmer and functional programming evangelist." — Perfil público de Boris Cherny
Boris Cherny es el creador de Claude Code — la herramienta de IA que posiblemente estás usando ahora mismo para programar. Antes de Anthropic, pasó cinco años como Principal Engineer en Meta/Facebook, donde trabajó con Flow (el verificador de tipos de JavaScript) y Hack (el lenguaje tipado de Meta). Ambas herramientas están implementadas en OCaml — un lenguaje funcional que verás en este curso.
El hilo conductor es directo:
OCaml (lenguaje funcional, 1996)
└─► Flow & Hack en Meta (herramientas de producción, ~2013-2024)
└─► Claude Code en Anthropic (herramienta que cambió la industria, 2025)
Lo que esto significa para ti como estudiante de ISC en TecNM: La programación funcional no es teoría académica. Es la base de las herramientas que usan los mejores ingenieros del mundo. Dominar estos paradigmas — Prolog, Erlang, Haskell, OCaml, Clojure — te da una ventaja real y duradera sobre quienes solo conocen el paradigma imperativo.
Otros ejemplos de producción que estudiarás en este curso:
- WhatsApp (2 mil millones de usuarios) — construido sobre Erlang/OTP
- Discord (150 millones de usuarios) — migró a Elixir en BEAM para escalar
- Nubank (el banco digital más grande de América Latina) — construido con Clojure
- Meta/Infer (analizador estático de código) — implementado en OCaml
Proveer a los estudiantes de las bases teóricas y prácticas necesarias para la programación en paradigmas lógicos y funcionales, desarrollando su capacidad para resolver problemas complejos de manera efectiva.
Al concluir el curso, el estudiante será capaz de:
| Nivel | Verbo | Resultado medible |
|---|---|---|
| Recordar | Identificar | Los paradigmas funcional y lógico, sus lenguajes representativos y casos de uso en la industria |
| Comprender | Explicar | La diferencia entre evaluación estricta y perezosa, unificación vs. asignación, y "let it crash" |
| Aplicar | Implementar | Soluciones recursivas con tail-call optimization en Erlang, Haskell y Prolog |
| Analizar | Comparar | El mismo problema en tres paradigmas (imperativo, funcional, lógico) midiendo líneas de código y garantías del compilador |
| Evaluar | Justificar | La elección de paradigma para un problema dado, con métricas concretas de complejidad y mantenibilidad |
| Crear | Diseñar | Un sistema multi-paradigma que integre lógica declarativa (Prolog), estado supervisado (Erlang/OTP) y tipos fuertes (Haskell) |
- Tema 1.1: Introducción a la Programación Lógica y Funcional
- Tema 1.2: Historia y evolución de los paradigmas
- Tema 1.3: Comparación con otros paradigmas de programación
- Tema 2.1: Fundamentos de la programación funcional
- Tema 2.2: Funciones de primera clase y funciones de orden superior
- Tema 2.3: Recursión y estructuras de datos inmutables
- Tema 2.4: Evaluación perezosa (Lazy Evaluation)
- Tema 2.5: Aplicaciones de la programación funcional
- Tema 3.1: Fundamentos de la programación lógica
- Tema 3.2: Sistemas formales y lógica de predicados
- Tema 3.3: Unificación y resolución
- Tema 3.4: Introducción a Prolog
- Tema 3.5: Aplicaciones de la programación lógica
- Tema 4.1: Desarrollo de programas lógicos
- Tema 4.2: Estrategias de búsqueda
- Tema 4.3: Optimización de programas lógicos
- Tema 4.4: Proyectos prácticos y casos de estudio
| Tema | Contenido | Lenguajes |
|---|---|---|
| 1.1 Introducción | Taxonomía de paradigmas, primer contacto con los lenguajes del curso | Python · Erlang · Prolog |
| 1.2 Historia y evolución | Línea de tiempo: Lambda Calculus 1930 → Gleam 2024, casos de industria | — |
| 1.3 Comparación de paradigmas | Validador de CURP mexicana en 3 paradigmas: imperativo, funcional, lógico | Python · Erlang · Prolog |
| Tema | Contenido | Lenguajes |
|---|---|---|
| 2.1 Fundamentos FP | Inmutabilidad, transparencia referencial, pattern matching con RFC | Erlang |
| 2.2 Funciones de orden superior | map, filter, reduce, composición, closures — pipeline de alumnos TecNM |
Clojure |
| 2.3 Recursión e inmutabilidad | Recursión de cola, Maybe/Either, tipos algebraicos |
Haskell |
| 2.4 Evaluación perezosa | Listas infinitas (Fibonacci, primos), Stream sobre registros IMSS | Haskell · Elixir |
| 2.5 Aplicaciones FP | OTP completo: application + supervisor + gen_server, "let it crash" con sensores IoT estilo CENAPRED |
Erlang/OTP |
| Tema | Contenido | Lenguajes |
|---|---|---|
| 3.1 Fundamentos | Hechos, consultas, base de datos organizacional TecNM Tijuana | SWI-Prolog |
| 3.2 Sistemas formales y lógica de predicados | Reglas, negación como falla (\+), elegibilidad para beca TecNM |
SWI-Prolog |
| 3.3 Unificación y resolución | Algoritmo de unificación, traza SLD, occurs check — 15 tests | SWI-Prolog |
| 3.4 Introducción a Prolog | Listas desde cero (mi_member, mi_append, mi_flatten…), aritmética, entre/3 — 76 tests |
SWI-Prolog |
| 3.5 Aplicaciones | Sistema experto médico interactivo (contexto IMSS): 8 condiciones, assert/retract |
SWI-Prolog |
| Tema | Contenido | Lenguajes |
|---|---|---|
| 4.1 Desarrollo de programas lógicos | Módulos Prolog, firmas explícitas, documentación de aridad y determinismo — validador CURP | SWI-Prolog |
| 4.2 Estrategias de búsqueda | DFS y BFS sobre grafo metro CDMX, cut verde vs. rojo, findall/bagof/setof |
SWI-Prolog |
| 4.3 Optimización / CLP(FD) | Restricciones sobre enteros, Sudoku 9×9, asignación de horarios TecNM como CSP | SWI-Prolog + CLP(FD) |
| 4.4 Proyecto final | Sistema de trámites TecNM multi-módulo con CLP, 33 tests automatizados | SWI-Prolog |
Cada alumno elige uno de los cuatro proyectos y construye un sistema completo en tres capas. El código base (starter code) ya está en el repositorio.
| Proyecto | Dominio | Capa 1 — Lógica | Capa 2 — Estado | Capa 3 — Tipos |
|---|---|---|---|---|
| P1 — Trámites IMSS | Seguridad social · 74M derechohabientes | Prolog + CLP(FD) | Erlang/OTP | Haskell |
| P2 — Turnos maquiladora | Manufactura · 700+ plantas en Tijuana | Prolog CLP(FD) | Clojure | — |
| P3 — Monitor IoT CENAPRED | Sensores en tiempo real · "let it crash" | Prolog + CLP(FD) | Erlang/OTP | Elixir Stream |
| P4 — Inventario SAT | Fiscal · 9,600M CFDIs/año | Prolog + CLP(FD) | Erlang/OTP | Haskell |
Ver
proyectos_finales/README.mdpara la arquitectura obligatoria de 3 capas, rúbrica y casos de uso reales en producción.
- Lenguajes Modernos: Introducir lenguajes de programación funcionales y lógicos modernos como Haskell, Scala, y Clojure.
- Herramientas y Entornos de Desarrollo: Utilizar entornos de desarrollo interactivos como Jupyter Notebooks para Haskell y Prolog.
- Proyectos Reales: Incluir proyectos basados en problemas del mundo real.
- Colaboración en Equipos: Fomentar el trabajo en equipo mediante proyectos colaborativos.
- Tutoriales en Línea y MOOCs: Incorporar recursos adicionales como cursos en línea de Coursera, edX, o Udacity.
- Bibliografía Actualizada: Actualizar la bibliografía recomendada y proporcionar eBooks a los estudiantes, libros no mas de 15 años y revistas 5 años de su publicación.
- Evaluaciones Continuas: Implementar evaluaciones formativas continuas.
- Rubricas Detalladas: Utilizar rubricas detalladas para evaluar proyectos y tareas.
- Flipped Classroom: Aplicar el modelo de aula invertida.
- Gamificación: Incorporar elementos de gamificación.
-
Unidad 1: Conceptos Fundamentales
- Talleres interactivos y comparación práctica entre paradigmas.
-
Unidad 2: Modelo de Programación Funcional
- Proyectos de manipulación y análisis de datos y aplicaciones prácticas en la industria.
-
Unidad 3: Programación Lógica
- Casos de uso reales y uso de simuladores de lógica.
-
Unidad 4: Modelo de Programación Lógica
- Creación de sistemas expertos básicos y resolución de problemas complejos.
- Pereira, P. A. (2015). Elixir Cookbook: Unleash the full power of programming in Elixir with over 60 incredibly effective recipes. Packt Publishing. ISBN 9781784397517.
- Cesarini, F., & Thompson, S. (2009). Erlang Programming. O'Reilly Media. ISBN 9780596518189.
- Cesarini, F., & Vinoski, S. (2016). Designing for Scalability with Erlang/OTP: Implement Robust, Fault-Tolerant Systems. O’Reilly Media. ISBN 9781449320737.
- St. Laurent, S. (2017). Introducing Erlang: Getting Started in Functional Programming (2nd ed.). O’Reilly Media. ISBN 9781491973370.
- Pd. https://www.cs.us.es/~fsancho/Blog/posts/Introduccion_Prolog.md
| Herramienta | Uso | Cuándo usarla |
|---|---|---|
| asciinema | Grabación de sesión de terminal | Todas las prácticas CLI — Prolog, Erlang, Haskell, Clojure |
| LOOM | Video de pantalla con audio (máx. 5 min) | Proyectos con interfaz gráfica o dashboard |
| Google Stitch | Generación de UI con IA | Base de mockups y prototipos UI en el Proyecto Final |
| GitHub | Pull Request como entregable formal | Todas las entregas — PR con link a asciinema/LOOM en la descripción |
- AWS Academy: Crédito de $100 USD por semestre para desplegar aplicaciones Erlang/Elixir/Haskell en EC2.
- GitHub Student Pack: Acceso gratuito a herramientas de desarrollo.
- GitHub Gist: Publicación de snippets de código.
- file.io: Subidas anónimas auto-purgables (2 meses).
- ASCII Generator: Arte ASCII para reportes.
- Future Tools: Catálogo de herramientas de IA útiles para el curso.