presentation-hello-python-typechecking