Overview
What this challenge is about.
Build a DSL for insurance-policy rules in OCaml, port 6 rules, and write an 8-page report. Earn a verifiable certificate.
CredentialBlockchain-anchored
ShareableLinkedIn-ready
LanguageEnglish
PaceSelf-paced
The Brief
What you'll do, and what you'll demonstrate.
Design and implement a small OCaml DSL for insurance policy rules that actuaries can read and author themselves, with 6 real rules ported as proof.
Earning criteria — what you'll demonstrate
- Design a small DSL with non-engineer end users in mind
- Implement parser combinators in OCaml (or Menhir)
- Use ADTs and pattern matching for AST design + evaluation
- Validate language usability with real domain experts
Program Fit
Where this fits in your program.
Sharpens the same skills your degree expects you to demonstrate.
Skills
Skills you'll demonstrate.
Each one shows up on your verified credential.
Careers
Roles this prepares you for.
Real titles. Real skill bridges. Pick the one closest to your trajectory.