This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Debugging for math lover | Michał J. Gajda - Software engineer ABSTRACT We make a toy model of debugging process and see how it is affected by different programming techniques, methodologies, and stylistic choices. This allows us to make a case for functional programming and mathematically founded programming in general. It also points at how different IDE mechanism may further help a functional programmer in debugging her programs. • Timecodes 00:00 - 02:39 - Intro and Types of errors 04:40 - 08:46 - Discrepancy Model 08:47 - 15:30 - Time to Fix and Fixing Functions 15:31 - 28:25 - Fixing a Library 28:26 - 34:22 - Ultimate Ways of Reducing Complexity 34:23 - 42:28 - QnA • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global