Static typing in python

Install pyright, which tracks types across func calls & can also be used as a lang server.

Write a program with type annotations, like

def f() -> str:
    return "x"

def g() -> str:
    return (f() + "42").split()

g()

Then run pyright on the file.

Good talk for reference: https://www.youtube.com/watch?v=ST33zDM9vOE&list=PL2Uw4_HvXqvbpFquYIE57BEAqkQWk-iFg