Haskell The Legend of DSLs
summary
Builds a small DSL for a trading card game: ADTs for cards, ten energy types, attacks with costs and damage, and actions that include coin flips and loops (iron tail = flip until tails). Uses Text, Natural, GADTs, and abstracts execution with the operational monad so handlers become interpreters; first interpreter is random IO, the pure tester is interpretPure that consumes a list of flip outcomes, and property tests run with QuickCheck + tasty. The DSL composes, the loop is expressible succinctly, and tests catch counterexamples.
AI-written summary · about
chapters (7)
- 0:00Start
- 11:17Energies
- 15:34Type Alias in Haskell
- 26:05Model Actions
- 51:22Property-Based Testing
- 1:02:00Summary
- 1:04:08Initial Style
related talks
46mPainless software development with Haskell
21mProduction Haskell Demystified
45mHow I Learned Haskell by Writing Tiny Games
04h 08mHaskell Beginners' Track
01h 11mCan You Build a Commercial Game in Haskell?
50mMaking Risk Decisions with Haskell at Scale
28mExpress: applications of dynamically typed Haskell expressions
01h 04mHaskell - A Peek Inside the Ivory Tower