Главная
Study mode:
on
1
Introduction
2
Summary
3
Why
4
My Projects
5
Local Reasoning
6
Error Handling
7
Side Effects
8
Debugging
9
Debugging on Elm
10
Do we need a new language
11
Questions
Description:
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.

Designing a Programming Language for Local Reasoning and Simple Debugging

Code Sync
Add to list