Skip to content

Instantly share code, notes, and snippets.

@kunigami
Last active December 26, 2019 17:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kunigami/f82b20f5cac5a7b86f8140e0ffa4312c to your computer and use it in GitHub Desktop.
Save kunigami/f82b20f5cac5a7b86f8140e0ffa4312c to your computer and use it in GitHub Desktop.
def expects_string(a: str):
return a
def expects_int(a: int) -> int:
return a + 1
def main():
untyped = expects_string('a')
expects_int(untyped)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment