Model a Trading Order Book with Algebraic Data Types in Haskell
Overview
What this challenge is about.
Model a Trading Order Book with Algebraic Data Types in Haskell. Intermediate challenge in code. Writing production code that solves real engineering problem...
The Brief
What you'll do, and what you'll demonstrate.
Implement a price-time-priority limit order book in idiomatic Haskell with ADTs that make illegal states unrepresentable, validated by property-based tests.
This is not a coding exercise. It is the work a software engineer does between a Jira ticket and a merged PR. That distinction matters to every hiring manager who has seen candidates solve LeetCode problems and none who have shipped production code under real constraints.
When you finish, you will have something most graduates do not: a real-world deliverable, verified by Ewance, that you can show to a hiring manager and say "I did this. Here is the proof."
Earning criteria — what you'll demonstrate
- Apply algebraic data types to model a real financial domain
- Use the type system to make illegal states unrepresentable
- Apply property-based testing to invariant validation
- Write idiomatic Haskell that a senior reviewer will accept
Program Fit
Where this fits in your program.
Sharpens the same skills your degree expects you to demonstrate.
Functional Programming
Bachelor · Programming Languages
Strong alignment
This challenge maps to Functional Programming at the Bachelor level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Skills
Skills you'll demonstrate.
Each one shows up on your verified credential.
- Haskell
Apply haskell to solve real industry problems and demonstrate production-level capability.
- Algebraic Data Types
Apply algebraic data types to solve real industry problems and demonstrate production-level capability.
- Property Based Testing
Apply property based testing 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.
- Pure Functions
Apply pure functions to solve real industry problems and demonstrate production-level capability.
- Quickcheck
Apply quickcheck to solve real industry problems and demonstrate production-level capability.
Careers
Career paths this challenge builds toward
Completing this challenge demonstrates skills that transfer directly to these roles: