Diseño de IR Intermedia para un Lenguaje de Consultas Geoespacial
Visión general
De qué trata este proyecto.
Diseña una IR intermedia tipo árbol de operadores geoespaciales, documenta su sintaxis y refactoriza el pipeline en dos pasadas. Obtén un certificado verificable.
El escenario
La empresa (alrededor de 35 personas, software usado por catastros municipales en AR y CL) duplicó código durante 18 meses y ahora un cambio de optimización requiere tocar dos sitios — la IR centraliza esa lógica.
El Briefing
Lo que harás y lo que demostrarás.
Diseñar e implementar una IR intermedia geoespacial que reemplace la traducción directa AST→backend manteniendo equivalencia con las 18 consultas de regresión.
Earning criteria — what you'll demonstrate
- Diseñar una IR de compilador que sirva a múltiples backends
- Documentar contratos semánticos de operadores con precisión
- Refactorizar un compilador sin romper su comportamiento observable
- Razonar sobre el tradeoff entre IR plana (lista) y árbol de operadores
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Alineación con asignaturas próximamente.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
- Ir Design
Apply ir design to solve real industry problems and demonstrate production-level capability.
- Compiler Architecture
Apply compiler architecture to solve real industry problems and demonstrate production-level capability.
- Geospatial Computing
Apply geospatial computing to solve real industry problems and demonstrate production-level capability.
- Ast Traversal
Apply ast traversal to solve real industry problems and demonstrate production-level capability.
- Code Generation
Apply code generation to solve real industry problems and demonstrate production-level capability.
- Python
Write clean, efficient Python for data processing, automation, and backend services.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Arquitecto de Sistemas
Diseñar una IR que sirva a dos backends sin duplicar lógica es exactamente el tipo de decisión de arquitectura que define a un arquitecto de sistemas — un reto que ejercita ese músculo con tradeoffs reales.
Este proyecto afina
- ir-design
- compiler-architecture
- code-generation
Ingeniero Backend
Refactorizar un compilador sin romper sus 18 tests de regresión es el mismo músculo que un ingeniero backend usa al refactorizar un servicio crítico — la disciplina de tests-primero se traslada uno-a-uno.
Este proyecto afina
- compiler-architecture
- ast-traversal
- python