Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Iowa Type Theory Commute
Introduction to DCS
•
Aaron Stump
•
Season 4
•
Episode 16
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
DCS is a new functional programming language I am designing and implementing with Stefan Monnier. DCS has a pure, terminating core, around which monads will be layered for possibly diverging, impure computation. In this episode, I talk about this basic design, and its rationale.