“Dependent types” might sound complex, but it is not. Instead, it is a useful feature and I am going to show how it works and when you should rely on it.

Cool new feature in Python. Nikita’s on the case 👍