DCS is a new functional programming language I am designing and implementing with Stefan Monnier.\xa0 DCS has a pure, terminating core, around which monads will be layered for possibly diverging, impure computation.\xa0 In this episode, I talk about this basic design, and its rationale. \xa0