Type-safe Blazon - Enforcing Pedantry in Heraldic Design
summary
Miniblazon is a small formal blazon language with a type system that checks four concrete things: valid attitudes for particular charges, no repeated tincture names, no out‑of‑bounds tincture references, and the rule of tincture (no color on color or metal on metal). It runs as a command‑line REPL and flags errors with specific diagnostics. The corpus evaluation uses ~2,000 transcribed entries from Papworth Ordinary (1874), about half parse, 972 type‑check, with 9 repeated‑tincture violations, 24 tincture‑rule violations and ~20 other rule violations. Image generation uses drawshield (non type‑safe).
AI-written summary · about
chapters (12)
- 0:00Heraldic design intro
- 1:49Rules of heraldry
- 3:11Blazon basics & tinctures
- 5:58Charges ordinaries
- 7:28Heraldic vocabulary review
- 8:32Style rules in design
- 10:20Tincture constraints
- 12:07Formalizing Blazon grammar
- 13:13Type-safe Blazon demo
- 14:16Historical blazons eval
- 15:18Summary & future work
- 15:39Q&A
related talks
26mType Narrowing the Hard Way
40mDomain Specific Type Systems
23mHow Elixir Learns Types from Guards
27mDecomposable Type Highlighting for Bidirectional Type and Cast Systems
20mPredictable macros for hindley milner
16mPolymorphic Types and Effects with Boolean Unification
46mThe Calculated Typer (Functional Pearl)
23mBetter Defunctionalization through Lambda Set Specialization