pylance_demo_type_hints_autocomplete_static_checking.py

1import datetime
2
3def greet(name: str) -> str:
4    """
5    Pylance will provide docstring tooltips and type checking 
6    for the parameters and return type.
7    """
8    return f"Hello, {name}!"
9
10def get_current_time():
11    # Pylance offers auto-completion for the datetime module
12    now = datetime.datetime.now()
13    return now.strftime("%Y-%m-%d %H:%M:%S")
14
15if __name__ == "__main__":
16    # Pylance will highlight an error if you pass an integer to greet()
17    user_name = "Developer"
18    message = greet(user_name)
19    
20    print(f"{message}")
21    print(f"The current time is: {get_current_time()}")
22
23    # Example of Pylance type inference:
24    # Hover over 'items' to see it inferred as List[int]
25    items = [1, 2, 3, 4, 5]
26    squared = [x**2 for x in items]