Debugging for math lover | Michał J. Gajda | Lambda Days 2022 скачать в хорошем качестве

Debugging for math lover | Michał J. Gajda | Lambda Days 2022

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays... 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:   / lambdadays   LinkedIn:   / lambda-days   • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL    / @codesync   See what's coming up at: https://codesync.global