Iowa Type Theory Commute

Introduction to DCS

September 03, 2023 Aaron Stump Season 4 Episode 16
Introduction to DCS
Iowa Type Theory Commute
More Info
Iowa Type Theory Commute
Introduction to DCS
Sep 03, 2023 Season 4 Episode 16
Aaron Stump

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.  

Show Notes

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.