Michael Seifert
Michael is a consulting software engineer and trainer who helps product teams to develop Python software in the cloud. He enjoys deleting code more than writing it and is constantly looking for ways to make software easier to maintain.
Session
07-19
15:30
30min
Bulletproof Python – Writing fewer tests with a typed code base
Michael Seifert
A fully typed code base requires less test code to achieve the same level of confidence in its correctness. We'll analyze specific code examples and see how dependent types and exhaustiveness checking make certain classes of tests obsolete.
Software Engineering & Architecture (2023)
South Hall 2B