Na čo je určená knižnica mypy?

Mypy je nástroj na statickú typovú kontrolu pre Python. Umožňuje overiť súlad typov v kóde počas vývoja, čo pomáha odhaliť chyby súvisiace s nesprávnym použitím typov pred spustením programu. Mypy využíva anotácie typov pridané do kódu a ich analyzuje, čím zabezpečuje spoľahlivejší a čitateľnejší kód.

Príklad použitia anotácií a kontroly s mypy:

from typing import List

def greet_all(names: List[str]) -> None:
    for name in names:
        print(f"Hello, {name}!")

# Ak je volané s nesprávnym typom, mypy vydá varovanie
# greet_all(123)  # Chyba typu

Týmto spôsobom mypy pomáha zlepšiť kvalitu kódu a uľahčiť jeho údržbu.