ty_cli_type_checked_python_script_execution_quickstart.py

1# ty is a CLI tool that runs your python scripts with type checking.
2# Below is a sample Python script that you would run using the command: ty main.py
3
4import sys
5
6def greeting(name: str) -> str:
7    return f"Hello, {name}!"
8
9def main() -> None:
10    # If you pass an integer here, 'ty' will report a type error before execution
11    message = greeting("World")
12    print(message)
13
14if __name__ == "__main__":
15    main()