Visión general
De qué trata este proyecto.
Define la sintaxis del DSL fiscal (variables, expresiones aritméticas, condiciones, llamadas a funciones del catálogo fiscal). Implementa el parser con FParsec y AST como tipo discriminado. Construye un evaluador puro con manejo explícito de errores (Result). Empaqueta como librería .NET 8. Demuestra con 3 reglas reales (deducción por maternidad, tramo IRPF, retenciones de profesionales). Entrega código F#, ejemplos de reglas, evaluador, ejemplos de error humanos y dossier para el equipo de gestoría.
El Briefing
Lo que harás y lo que demostrarás.
Construir un DSL fiscal con parser combinator en F# que permita aplicar cambios normativos editando reglas, no código compilado.
Earning criteria — what you'll demonstrate
- Construir parser combinators con FParsec para una gramática real
- Modelar AST con discriminated unions
- Manejar errores de parsing y evaluación con Result
- Comunicar el DSL a no programadores
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
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.
Trayectorias profesionales que esto construye
Roles canónicosIngeniero de Software
Implementar parser combinators productivos demuestra dominio de composición funcional avanzada — competencia valorada en cualquier equipo de plataforma.
Este proyecto afina
- fsharp
- parser-combinators
- discriminated-unions
Ingeniero de Backend
Diseñar DSL embedidos da a quien hace backend la habilidad de convertir reglas de negocio en código declarativo evolucionable.
Este proyecto afina
- embedded-dsl
- fsharp
- pure-functions