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

Please support this podcast by checking out our sponsors:

GUEST BIO:
Guido van Rossum is the creator of Python programming language.

PODCAST INFO:

SOCIAL:

[LexClips]

Guest bio: Guido van Rossum is the creator of Python programming language.

[avasam]

My go tos are:
- Mypy/pyright for static type checking
- Pydantic for dynamic type validation
- mypyc for compilation optimization using type hints

[bunpasi]

I come from C++ as well and have to say that the type hinting is a big help. Writing the code base I'm making right now would've been a nightmare without it.

[andreipiv]

There's cases where dynamic typing is more advantageous - certain applications, or just something simple to bang out.

In any real sizable codebase, the dynamic typing of a whole language is a huge drawback and developers spend tonnes of time dealing with it, unless it's specific to that implementation (meta programming)

[xinaesthetic]

Pyrite is often referred to as “fool’s gold”, and I sense a slightly self-deprecating or ironic aspect in the choice to reference it. So I reckon there’s an extra level of wordplay going on in the naming of Pyright that acknowledges it’ll never perfectly allow you to have both total flexibility and correctness.

[echobucket]

I just wish we didn't have TWO tools.. there's both mypy and pyright/pylance... and the errors you get from each one can be different.

[indibarsarkar]

But fixing the max size of the variable using some extra syntax for writing some programmes might help. The interpreter would know the size of the variable thus it could be performing special optimizations accordingly.

[runnerstme]

Pydantic can do it if I am not mistaken

[laughingvampire]

less than & greater than are not angular brackets

[rustamazimov]

Lex Freeman look like and act like T-1000 Terminator Robot.

[TheMclud]

Pydantic - a great package using annotations

[hung-tienhuang]

I only switched to python until I figure out there is type hint. During pre type hint era, I would literally be ap frustrated whenever I see type error. I would just think fuck me, I have been coding cpp for so long and you're telling me I don't know the basic about data type!?

[echobucket]

Python compiles itself into python byte code.. so we could totally have the python "interpreter" check our types at compile time and not suffer a performance penalty....

[khbhibjhbl]

The linguistic of a processor has come so far from the model of the analytical engine to the computer scientist that creating a way to change data within the computer rather than keeping the physical concept of the ENIAC alive. Ada Lovelace and Charles Babagge would be happy. Regardless, I am still learning but wouldn't the architect notify the team that is caparmentalized in th regard of the static checker or is the static checker a purchasable tool utilized for the testing. (Architecture) Prerequisites, requirements, construction, testing.

[dave_di]

Only men of culture watch technical interviews with Guido van Rossum. The rest will watch Joe Rogan.

[tripletth]

My disappointment was immeasurable when I found out that Python type hints are not actually enforced by the interpreter, and my day was ruined.

[augusto]

Strictly typed languages are only useful in data scheme based programs. That is, programs that somehow are compromised to real information and have to preserve it's integrity. In most cases, Strictly typed languages are not necessary since the data tends to be raw computational resources.