AI Engineer - Learn how to integrate AI into software applications
Launch Your Cybersecurity Career in 6 Months
Overview
Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk analyzes Python code examples to show how dependent types and exhaustiveness checking can reduce the amount of testing needed to maintain confidence in correctness.
Syllabus
Bulletproof Python – Writing fewer tests with a typed code base — Michael Seifert
Taught by
EuroPython Conference