Visión general
De qué trata este proyecto.
Implementa un parser combinatorio en F# para un DSL fiscal español, crea el evaluador con errores y obtén un certificado verificable.
El escenario
La pyme (alrededor de 1,8 millones de EUR de revenue anual, 120 gestorías cliente) afronta 5-6 cambios normativos relevantes al año — cada uno bloquea desarrollo 2 semanas.
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.
Alineación con asignaturas próximamente.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
- Fsharp
Apply fsharp to solve real industry problems and demonstrate production-level capability.
- Parser Combinators
Apply parser combinators to solve real industry problems and demonstrate production-level capability.
- Embedded Dsl
Apply embedded dsl to solve real industry problems and demonstrate production-level capability.
- Discriminated Unions
Apply discriminated unions to solve real industry problems and demonstrate production-level capability.
- Pure Functions
Apply pure functions to solve real industry problems and demonstrate production-level capability.
- Error Handling
Apply error handling to solve real industry problems and demonstrate production-level capability.
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.
Ingeniero 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