Python's type system explained: Static vs dynamic typing | Guido van Rossum and Lex Fridman