Tomas Petricek 2/2/2025

Choose Your Own Adventure Calculus

Read Original

The article discusses a recurring pattern in interactive programming systems, where users construct or refine code by iteratively selecting from options offered by the system. The author draws from three examples (data exploration, data wrangling, and theorem proving) to propose a general abstraction called 'choose-your-own-adventure calculus'. It connects this to the 'rule of three' in refactoring and programming language theory, and mentions related academic work on coeffects.

Choose Your Own Adventure Calculus

Comments

No comments yet

Be the first to share your thoughts!

Browser Extension

Get instant access to AllDevBlogs from your browser

Top of the Week