Sistema de tipos con Scala 3 para conciliación bancaria
Visión general
De qué trata este proyecto.
Audita la librería Scala 2.13, modela 5 formatos bancarios con tipos opacos y match types, y usa given/using para resolver parsers. Obtén un certificado verificable.
El escenario
La scaleup (alrededor de 2 millones de EUR de ingreso recurrente anual, clientes son pymes y asesorías contables) atribuye 30 por ciento de los soportes a confusiones de formato — eliminarlas mejora retención.
El Briefing
Lo que harás y lo que demostrarás.
Migrar la librería de conciliación a Scala 3 con tipos opacos y given/using que hagan imposible mezclar formatos en tiempo de compilación.
Earning criteria — what you'll demonstrate
- Aplicar tipos opacos para distinguir cantidades semánticamente distintas
- Usar given/using para resolución de instancias clara
- Diseñar APIs que mejoren en Scala 3 sin romper consumidores existentes
- Comunicar cambios breaking sin perder confianza del cliente
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.
- Scala
Apply scala to solve real industry problems and demonstrate production-level capability.
- Opaque Types
Apply opaque types to solve real industry problems and demonstrate production-level capability.
- Type Driven Design
Apply type driven design to solve real industry problems and demonstrate production-level capability.
- Given Using
Apply given using to solve real industry problems and demonstrate production-level capability.
- Library Design
Apply library design 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.
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
Migrar a Scala 3 explotando tipos opacos es el músculo de tipos que separa a quien escribe Scala-Java vs quien aprovecha la expresividad del lenguaje.
Este proyecto afina
- scala
- opaque-types
- type-driven-design
Ingeniero de Backend
Aplicar tipos para eliminar errores semánticos en pipelines de conciliación es backend defensivo que reduce soportes en producción.
Este proyecto afina
- scala
- type-driven-design
- library-design