Функція оголошена як def сума(кількість: int, ціна: float) -> float. Ти запускаєш сума("кава", 3). Що зробить Python?
"кава" * 3, чесно повторює рядок тричі й повертає результат — попри те, що підпис обіцяв float. Спокуслива відповідь про TypeError хибна саме тому, що описує поведінку мов на кшталт Java: у Python перевіряє окремий інструмент, і лише коли ти його запустиш.В інтерактиві лекції ти обрав анотацію кількість: Any й виклик сума(None, 85.0). Що покаже mypy і що зробить програма?
Any — це не «будь-який тип», а «не дивись сюди»: перевірка в цьому місці вимкнена, тому звіт чистий. Але вимкнена перевірка нічого не лагодить — None * 85.0 усе одно падає. Саме тому Any, поставлений щоб інструмент замовк, — це заклеєна лампочка на панелі приладів.У старому коді ти бачиш підпис def знайти(...) -> Optional[Продаж]. Що це означає?
Optional[X] — це рівно X | None, ані на крихту не інше. Слово «optional» плутає й натякає на необовʼязковий параметр, хоча йдеться про можливу відсутність значення. Саме через цю плутанину з Python 3.10 пишуть Продаж | None.Функція має підпис -> Продаж, але в одній гілці робить return None. Ти запускаєш програму на даних, де потрібний товар завжди знаходиться. Що скаже mypy?
-> Продаж і рядком return None. Тест спіймав би те саме, але лише якби хтось здогадався його написати.Наш перевірювач із практики скаржиться на виклик сума_позиції(2, 85) — мовляв, у параметр float поїхав int. mypy на цей самий виклик мовчить. Хто має рацію?
int приймається скрізь, де очікується float, бо в Python ціле майже всюди працює замість дробового. Зворотний напрямок заборонено — 2.5 у параметр int не пройде. Наш isinstance-перевірювач про цю поступку просто не знає.Звідки декоратор @dataclass дізнається перелік полів класу?
__annotations__ і перетворює його на __dataclass_fields__ — тобто друге є наслідком першого, а не джерелом. Саме тому рядок без двокрапки полем не стає: він не потрапляє в цей словник, і декоратору не було про що дізнатися.У якому рядку анотація дає найменше користі?
0 видно зі значення праворуч від знака рівності — анотація тут повторює те, що вже написано, і додає лише зайвий текст. Три інші рядки додають те, чого в коді немає: порожній список не каже, чого він список; підпис функції перетинає межу між файлами; поле класу з фабрикою теж не показує вмісту.Навіщо в модуль додають рядок from __future__ import annotations?
def, тому назвати в ній клас, оголошення якого ще не дійшло, не можна. Імпорт із __future__ перетворює анотації на рядки й відкладає їх розбір. Плата: усе, що читає анотації під час виконання, отримує рядки й мусить розвʼязувати їх через typing.get_type_hints().