Static Type-Checking Is Dead, Long Live Static Type-Checking in Python
Offered By: EuroPython Conference via YouTube
Course Description
Overview
Explore the world of static type-checking in Python through this EuroPython 2015 conference talk. Delve into PEP 484, which introduces type hints for Python 3.5, and understand the ongoing debate surrounding it. Learn about static type systems, their purpose, and how they can be leveraged in a dynamically typed language like Python. Examine Guido van Rossum's proposal for type hinting and its potential impact on your coding practices. Discover libraries such as Hypothesis and QuickCheck-inspired tools that enhance test robustness, along with their capabilities and limitations. Through numerous examples, gain insights into type systems and their practical applications. By the end of the talk, acquire the knowledge to make informed decisions about incorporating type hints and external libraries for fuzz testing in your Python projects.
Syllabus
Intro
Type systems
Static type language
PyCharm
Violent
Fix
Type hints
Hypothesis
Conclusion
Taught by
EuroPython Conference
Related Courses
Functional Programming Principles in ScalaÉcole Polytechnique Fédérale de Lausanne via Coursera Software Analysis & Testing
Georgia Institute of Technology via Udacity Go: The Complete Developer's Guide (Golang)
Udemy Go Bootcamp: Master Golang with 1000+ Exercises and Projects
Udemy C++ in Detail: Common Idioms
Udemy