Moteur de rapprochement pur pour portefeuille mobile
Aperçu
En quoi consiste ce défi.
Construisez un moteur de rapprochement pur en Haskell, appliquez « parse, don't validate », puis obtenez un certificat vérifiable.
Le brief
Ce que vous ferez, et ce que vous démontrerez.
Les rapprochements manuels entre le journal de transactions de l'opérateur mobile et le grand livre bancaire laissent passer des doublons et des écarts de montant, faute d'un moteur de vérification fiable et testable.
Earning criteria — what you'll demonstrate
- Modéliser un domaine métier avec des types de données algébriques exhaustifs
- Concevoir des fonctions pures sans effet de bord pour garantir la testabilité
- Utiliser une classe de types pour composer des règles de validation réutilisables
- Écrire des tests par propriétés pour prouver des invariants du moteur
- Justifier des choix de conception pilotés par les types (type-driven design)
Adéquation au programme
Où cela s'inscrit dans votre cursus.
Renforce les mêmes compétences que celles attendues par votre diplôme.
Cursus associés bientôt disponibles.
Compétences
Les compétences que vous démontrerez.
Chacune apparaît sur votre certificat vérifié.
Débouchés
Les métiers auxquels ce défi vous prépare.
De vrais intitulés. De vraies passerelles de compétences. Choisissez celui qui se rapproche le plus de votre trajectoire.
Les parcours de carrière que ce défi construit
Métiers de référenceSoftware Engineer
Ce défi entraîne la conception de systèmes fiables par des types stricts et des fonctions pures, une compétence directement transférable à tout poste d'ingénierie logicielle exigeant robustesse et testabilité.
Ce défi renforce
- algebraic-data-types
- code-reading
- property-based-testing
Backend Engineer
Construire un moteur de traitement de transactions financières prépare directement aux responsabilités d'un poste backend dans une fintech ou tout système transactionnel critique.
Ce défi renforce
- type-driven-design
- data-wrangling
- coverage-reports
Quality Engineer
La conception de tests par propriétés pour prouver des invariants métier développe une expertise directement utile aux rôles d'assurance qualité axés sur la fiabilité logicielle.
Ce défi renforce
- property-based-testing
- coverage-reports
- code-reading