Debugging for Math Lovers

Explore a mathematical approach to debugging in this 42-minute conference talk from Lambda Days 2022. Delve into a toy model of the debugging process, examining how various programming techniques, methodologies, and stylistic choices impact error resolution. Discover the advantages of functional programming and mathematically-founded programming for efficient debugging. Learn about potential IDE mechanisms that can further assist functional programmers in troubleshooting their code. Follow along as the speaker covers different types of errors, introduces a discrepancy model, discusses time to fix and fixing functions, demonstrates fixing a library, and presents ultimate ways of reducing complexity. Conclude with a Q&A session to address audience inquiries and deepen your understanding of mathematical debugging techniques.