ty_cli_type_checking_quickstart_example.py

1# To use ty, you typically run it from the command line rather than 
2# importing it into a script. However, the standard "quickstart" 
3# demonstration involves running a typed Python file like the one below:
4
5# main.py
6def greet(name: str) -> str:
7    return f"Hello, {name}!"
8
9if __name__ == "__main__":
10    # Ty will catch type errors before execution
11    # e.g., print(greet(123)) would trigger a type error
12    print(greet("World"))
13
14# To run this with ty, you would use the following command in your terminal:
15# $ ty main.py