Static Type Checking

Statik Tip Tekshiruvi

Siz Mypy haqida bir nechta marta eslatmalarni ko‘rgan bo‘lishingiz mumkin. Buning haqida to‘liq ma'lumotni quyidagi manzilda o‘qishingiz mumkin: • http://mypy-lang.org/

Agar siz Mypy-ni o‘z kodingizda ishlatishni xohlasangiz, avval uni pip yordamida o‘rnatishingiz kerak:

1 $ pip install mypy

Mypy o‘rnatilganidan so‘ng, uni quyidagi tarzda ishga tushirishingiz mumkin:

1 $ mypy my_program.py

Mypy sizning kodingizni tahlil qilib, topilgan har qanday tip xatolarini chiqaradi. Mypy bu ishni kodni ishlatmasdan, faqat manba fayllaringizni o‘qib va tahlil qilib amalga oshiradi. Bu jarayonni statik tekshirish deb ataladi. Ko‘plab linternlar ham statik tekshirishdan foydalanadi, lekin ular odatda sintaksis xatolarini, ishlatilmagan yoki yo‘q o‘zgaruvchilarni va boshqa muammolarni izlaydi, bu esa kodingizning ishlashiga to‘sqinlik qiladi.

Agar dasturingizda tip izohlar bo‘lmasa, Mypy hech qanday xato xabarini chiqaradi.

Keling, noto‘g‘ri tip izohlariga ega bo‘lgan bir funktsiya yozaylik va uni bad_type_hinting.py nomli faylga saqlaylik:

# bad_type_hinting.py
 
def my_function(a: str, b: str) -> None:
    return a.keys() + b.keys()

Endi sizda kod bor, uni Mypy yordamida tekshirishingiz mumkin:

1 $ mypy bad_type_hinting.py
2 bad_type_hinting.py:4: error: "str" has no attribute "keys"
3 Found 1 error in 1 file (checked 1 source file)

Bu chiqish xabari sizga 4-satrda muammo borligini aytadi. String-larda keys() atributi mavjud emas.

Endi kodni yangilab, mavjud bo‘lmagan keys() metodini olib tashlaymiz. O‘zgartirishlarni bad_type_hinting2.py nomli yangi faylga saqlaymiz:

# bad_type_hinting2.py
 
def my_function(a: str, b: str) -> None:
    return a + b

Endi Mypy-ni yangilangan faylga qarshi ishga tushirib, muammoni hal qilganmisiz, tekshirib ko‘rishingiz mumkin:

1 $ mypy bad_type_hinting2.py
2 bad_type_hinting2.py:4: error: No return value expected
3 Found 1 error in 1 file (checked 1 source file)

Oops! Yana bir xato mavjud. Endi siz bu funktsiyaning hech qanday qiymat qaytarmasligini kutganingizni bilasiz. Kodni shunday tuzishingiz mumkin, shunda u hech narsa qaytarmaydi, yoki tip izohini tuzatib, string qaytaradigan qilib yozishingiz mumkin.

Siz ikkinchi usulni tanlab, quyidagi kodni good_type_hinting.py nomli faylga saqlang:

# good_type_hinting.py
 
def my_function(a: str, b: str) -> str:
    return a + b

Endi Mypy-ni bu yangi faylga qarshi ishga tushiring:

1 $ mypy good_type_hinting.py
2 Success: no issues found in 1 source file

Bu safar kodingizda hech qanday muammo topilmadi!

Siz Mypy-ni bir nechta fayllar yoki butun papkaga qarshi ishga tushirishingiz mumkin. Agar siz kodlaringizda tip izohlarini ishlatishga qat'iy qaror qilsangiz, Mypy-ni tez-tez ishga tushirib, kodingizda xatolar yo‘qligini tekshirib turishingiz kerak.