Designing a Programming Language for Local Reasoning and Simple Debugging

Explore the impact of programming language design on bug reduction and debugging efficiency in this 21-minute conference talk from Lambda Days 2023. Delve into how careful language design can minimize bugs and simplify the debugging process. Gain insights into the trade-offs involved in language design and develop a deeper appreciation for programming constructs that contribute to more stable and correct software. Learn about local reasoning, error handling, side effects, and debugging techniques, with a focus on practical examples and real-world applications. Discover whether a new programming language is necessary to address these challenges and engage with thought-provoking questions about the future of software development.