Overview
What this challenge is about.
Design a small DSL covering: variables (insured amount, premium, deductible, named perils), expressions (arithmetic, conditionals, lookups against external tables like CRESTA zones), policy outputs (covered/not-covered, payout-amount, sublimits). Implement parser + interpreter in OCaml. Use OCaml's ADT support for the AST and pattern matching for evaluation. Port 6 representative rules from the Java codebase. Run a usability test with 3 actuaries (anonymized session notes). Deliver the OCaml DSL implementation, 6 ported rules, and an 8-page writeup including actuarial-readability evidence.
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.
Career mappings coming soon.