Type Driven Design
Si te gusta aplicar Type Driven Design, cada reto aquí te da la oportunidad de practicarlo en un briefing industrial real.
- CodePrincipianteNuevo
Motor de reglas en Haskell para pricing dinámico de hotel
Diseña el lenguaje de reglas como tipo algebraico (Regla = Si Condicion Entonces Accion | Y Regla Regla | O Regla Regla). Implementa el intérprete puro en Haskell. Define condic…
- Haskell
- Algebraic Data Types
- Embedded Dsl
Multidisciplinar - CodePrincipianteNuevo
Sistema de tipos con Scala 3 para conciliación bancaria
Audita la librería actual (Scala 2.13, provista). Define tipos opacos para identificadores y montos sin riesgo de mezclarlos. Modela los 5 formatos como type-level cases. Usa gi…
- Scala
- Opaque Types
- Type Driven Design
Multidisciplinar - CodePrincipianteNuevo
Pipeline puro en OCaml para análisis genómico en CONACYT
Modela los tipos: Lectura, ParLectura, Alineamiento, Variante. Implementa 4 etapas (control de calidad, alineamiento, llamada de variantes, anotación) como funciones puras compo…
- Ocaml
- Pure Functions
- Algebraic Data Types
Functional Programming
Cómo funciona
Del briefing al certificado, en seis pasos.
Paso 01
Explora retos alineados con tus estudios.
Paso 02
Acepta el que encaja con tus metas.
Paso 03
Trabájalo con la guía del AI Copilot.
Paso 04
Envíalo para una evaluación estructurada.
Paso 05
Consigue una credencial verificada.
Paso 06
Añádela a LinkedIn con un solo clic.
Equipos del sector tras una década de briefings prácticos
¿Reclutando de este grupo?
Patrocina un reto y conoce candidatos a través de su trabajo real.
Los equipos de la industria pueden diseñar briefings en torno a las habilidades que buscan, y evaluar a los estudiantes por entregables puntuados con rúbrica — no por currículums.