Turlar va mypy: xatoni ishga tushirmasdan topish

def ortacha(sonlar):
    return sum(sonlar) / len(sonlar)

print("to'g'ri ishlatish:", ortacha([80, 90, 100]))
try:
    ortacha(["80", "90"])
except TypeError as e:
    print("noto'g'ri ishlatish:", type(e).__name__, "-", e)

from typing import Optional

def salomlash(ism: str, marta: int = 1) -> str:
    return f"Salom, {ism}! " * marta

def topish(ro_yxat: list[str], nishon: str) -> int | None:
    """Python 3.10 dan: `int | None`. Eskiroq versiyalarda `Optional[int]`."""
    for i, x in enumerate(ro_yxat):
        if x == nishon:
            return i
    return None

print(salomlash("Aziz", 2))
print("topildi:", topish(["a", "b", "c"], "b"), "| topilmadi:", topish(["a"], "z"))
print("annotatsiyalar:", salomlash.__annotations__)

"""Qoidalar: qator to'g'rimi yoki yo'q."""

ENG_KATTA_BAHO = 100


def bahoni_tekshir(xom: str | None) -> int:
    """Matnni bahoga aylantiradi. Xato bo'lsa sabab bilan ValueError."""
    if xom is None:
        raise ValueError("baho ko'rsatilmagan")
    try:
        baho = int(xom)
    except (TypeError, ValueError):
        raise ValueError(f"baho son emas: {xom!r}") from None
    if not 0 <= baho <= ENG_KATTA_BAHO:
        raise ValueError(f"baho 0..{ENG_KATTA_BAHO} oralig'ida bo'lishi kerak, berilgan: {baho}")
    return baho

"""Ma'lumot tuzilmalari."""
from dataclasses import dataclass, field
from enum import Enum


class Daraja(str, Enum):
    ALO = "a'lo"
    YAXSHI = "yaxshi"
    QONIQARLI = "qoniqarli"
    QONIQARSIZ = "qoniqarsiz"

    @classmethod
    def bahodan(cls, baho: int) -> "Daraja":
        if baho >= 90:
            return cls.ALO
        if baho >= 75:
            return cls.YAXSHI
        if baho >= 60:
            return cls.QONIQARLI
        return cls.QONIQARSIZ


@dataclass(frozen=True, slots=True)
class Talaba:
    ism: str
    guruh: str
    baho: int
    sana: str

    @property
    def daraja(self) -> Daraja:
        return Daraja.bahodan(self.baho)


Xato = tuple[int, str, str]          # (qator raqami, ism, sabab)


@dataclass
class Natija:
    talabalar: list[Talaba] = field(default_factory=list)
    xatolar: list[Xato] = field(default_factory=list)

    @property
    def jami(self) -> int:
        return len(self.talabalar) + len(self.xatolar)

[mypy]
python_version = 3.10
files = src
strict = True

[mypy-tests.*]
strict = False

.venv/bin/python3 -m pip install --quiet mypy
python3 -m mypy --version

python3 -m mypy src/hisobot/tekshiruv.py src/hisobot/modellar.py

def qosh(a, b):
    return a + b


def ishlat():
    return qosh("1", 2)

[mypy]
python_version = 3.10

echo "=== strict BILAN ==="
python3 -m mypy --strict turlarsiz.py
echo "=== strict SIZ ==="
python3 -m mypy --config-file=oddiy_mypy.ini turlarsiz.py

def qosh(a: int, b: int) -> int:
    return a + b


def ishlat() -> int:
    return qosh("1", 2)

python3 -m mypy turli.py

"""Statistika: kiritish/chiqarishsiz, faqat hisob."""
from collections import Counter

from .modellar import Talaba


def guruh_ortachasi(talabalar: list[Talaba]) -> dict[str, float]:
    yigindi: dict[str, tuple[int, int]] = {}
    for t in talabalar:
        jami, soni = yigindi.get(t.guruh, (0, 0))
        yigindi[t.guruh] = (jami + t.baho, soni + 1)
    return {g: round(jami / soni, 2) for g, (jami, soni) in sorted(yigindi.items())}


def daraja_taqsimoti(talabalar: list[Talaba]) -> dict[str, int]:
    return dict(Counter(t.daraja.value for t in talabalar).most_common())


def eng_yaxshi(talabalar: list[Talaba]) -> Talaba:
    """Eng yuqori bahoni qaytaradi."""
    return max(talabalar, key=lambda t: t.baho, default=None)

python3 -m mypy src/hisobot/hisob.py

"""Statistika: kiritish/chiqarishsiz, faqat hisob."""
from collections import Counter

from .modellar import Talaba


def guruh_ortachasi(talabalar: list[Talaba]) -> dict[str, float]:
    yigindi: dict[str, tuple[int, int]] = {}
    for t in talabalar:
        jami, soni = yigindi.get(t.guruh, (0, 0))
        yigindi[t.guruh] = (jami + t.baho, soni + 1)
    return {g: round(jami / soni, 2) for g, (jami, soni) in sorted(yigindi.items())}


def daraja_taqsimoti(talabalar: list[Talaba]) -> dict[str, int]:
    return dict(Counter(t.daraja.value for t in talabalar).most_common())


def eng_yaxshi(talabalar: list[Talaba]) -> Talaba | None:
    """Eng yuqori bahoni qaytaradi. Ro'yxat bo'sh bo'lsa None."""
    return max(talabalar, key=lambda t: t.baho, default=None)

python3 -m mypy src/hisobot/hisob.py

from hisobot.hisob import eng_yaxshi
from hisobot.modellar import Talaba

t = [Talaba("Aziz", "A", 85, "2026-09-01")]
print(eng_yaxshi(t).ism)

MYPYPATH=src python3 -m mypy --config-file=oddiy_mypy.ini --strict foydalanuvchi.py

from hisobot.hisob import eng_yaxshi
from hisobot.modellar import Talaba

t = [Talaba("Aziz", "A", 85, "2026-09-01")]
eng = eng_yaxshi(t)
if eng is None:
    print("talaba yo'q")
else:
    print(eng.ism)

MYPYPATH=src python3 -m mypy --config-file=oddiy_mypy.ini --strict foydalanuvchi.py
.venv/bin/python3 foydalanuvchi.py

"""CSV o'qish va qatorlarni tekshirib modelga aylantirish."""
import csv
from pathlib import Path

from .modellar import Natija, Talaba
from .tekshiruv import bahoni_tekshir


def oqi(yol: str | Path) -> list[dict[str, str]]:
    """Faqat o'qiydi: lug'atlar ro'yxati."""
    with open(yol, encoding="utf-8") as f:
        return list(csv.DictReader(f))


def tozala(qatorlar: list[dict[str, str]]) -> Natija:
    """Xom lug'atlarni Talaba obyektlariga aylantiradi."""
    natija = Natija()
    for i, q in enumerate(qatorlar, start=2):
        try:
            natija.talabalar.append(Talaba(
                ism=q.get("ism", "").strip(),
                guruh=q.get("guruh", "").strip(),
                baho=bahoni_tekshir(q.get("baho")),
                sana=q.get("sana", "").strip(),
            ))
        except ValueError as e:
            natija.xatolar.append((i, q.get("ism", "?"), str(e)))
    return natija

"""python3 -m hisobot bilan ishga tushadi."""
import sys

from .hisob import daraja_taqsimoti, guruh_ortachasi
from .oqish import oqi, tozala


def main(argv: list[str] | None = None) -> int:
    argv = sys.argv[1:] if argv is None else argv
    if not argv:
        print("ishlatish: python3 -m hisobot <fayl.csv>")
        return 2
    n = tozala(oqi(argv[0]))
    print(f"jami: {n.jami}, to'g'ri: {len(n.talabalar)}, xato: {len(n.xatolar)}")
    for g, o in guruh_ortachasi(n.talabalar).items():
        print(f"  {g}: {o}")
    print("darajalar:", daraja_taqsimoti(n.talabalar))
    for qator, ism, sabab in n.xatolar:
        print(f"  {qator}-qator ({ism}): {sabab}")
    return 0 if not n.xatolar else 1


if __name__ == "__main__":
    sys.exit(main())

python3 -m mypy
.venv/bin/python3 -m hisobot sinov_malumot.csv

def faqat_son(x: int) -> int:
    return x * 2

print("mypy bunga qarshi bo'lardi, lekin Python bajaradi:", faqat_son("salom"))