Types as a Specification Language for Creativity
summary
Proposes a typed creative language where types carry an optional refinement with two predicates: hard rules and soft rules and the typing judgment returns a numeric degree D as reward/penalty. Cites existing uses (a concurrency DSL and a pretty‑printer that guarantee safety/correctness), demonstrates CP_interval where an imperfect interval gets reward 3 so five imperfect intervals yield degree 15, and outlines implementation and evaluation challenges like global constraints and degree aggregation.
AI-written summary · about
chapters (19)
- 0:00Types as creative specs
- 1:40Creativity-focused language benefits
- 2:46Hard and soft rules in creativity
- 6:21Designing type system for rules
- 8:29Demo: Counterpoint system
- 10:18Future work and questions
- 11:01Q&A
- 12:44Soft rules in programming
- 14:11Creative writing exploration
- 14:52System for general programming
- 15:57Guiding creativity with soft rules
- 17:04Polymorphic rules demo
- 18:06Temporal rules in counterpoint
- 19:33Formalizing multimodal art
- 20:16Live coding verification
- 21:18Soft rules and linting
- 22:25Balancing broken soft rules
- 23:49Type functions for time
- 24:09Closing remarks
related talks
13mClojure.spec: A Lisp Flavoured Type System
43mProgramming Languages for the Future of Design Computation
31mThe Long Road to Creative Programming
26mType-driven User Interface Design
52mExpressive Design Systems
32mTalking about Type: CEDARS+
57mSums, Products, Exponents, Monoids, Functors, Oh My!
37mThe Laws of Magic