Как ввести функцию Python с необязательными аргументами в соответствии с литеральным типом? ⇐ Python

[Anonymous]

Предположим, я хочу реализовать функцию маршрутизатора, которая будет принимать имя в качестве аргумента и, возможно, аргумент data.
Например, функция будет такой: вызывается с помощью:

Код: Выделить всё

route("main")

для перехода на главный экран или

Код: Выделить всё

route("edit", item.id)

чтобы перейти на экран редактирования элемента.
Этот код работает, но у меня нет подсказок типа и поэтому проверки типов не вызывают ошибок:

Код: Выделить всё

from typing import Literal

def route(name: Literal["main", "edit"], *args) -> None:
match name:
case "main":
print("Main screen")
case "edit":
if not args:
raise ValueError("No item id provided for editing.")
print(f"Editing item id: {args[0]}")
case _:
raise ValueError(f"Invalid route name: {name}")

route("main") # Main screen
route("edit", 12) # Editing item id: 12
route("edit")  # Raises ValueError

Fiddle
Я пробовал использовать TypeGuard или TypeI, но если я хорошо понимаю PEP 647 и PEP 647, они будет работать противоположным способом — они сужают тип внутри функции, но не влияют на сигнатуру функции.

Подробнее здесь: https://stackoverflow.com/questions/790 ... iteral-typ