Система типов в Python

Александр Хаёров (Ingram Micro) @ Python Junior Meetup №1

"Типизация — важный аспект, который зачастую характеризует тот или иной язык программирования, наделяя его разными свойствами. В докладе будут рассмотрена общая информация о типизации, ее роли. Узнаем подробно какая типизация в Python и как использовать для написания лучшего кода".

Transcript

1. Types&Python
2. 㱺 Whoami Alex Hayorov @hayorov We
3. О чем пойдет разговор система типов бестиповая типизация типовая типизация постепенная типизация в Python
5. выражения и операторы литералы и
 переменные типы данных a=b*2 1+2 ???
6. ++++++++++[>+++++ +<<<<-]>++.>+.++++ ++++++++.>.+++.----- Бестиповая типизация все сущности - последовательности бит низкоуровневые языки: assembler, forth и brainf*ck, awk плюсы минусы полная свобода эффективный код сложно и неудобно легко ошибиться
7. Типовая типизация статическая динамическая скорость выполнения интеграция с IDE обнаружение ошибок универсальные коллекции обобщенные алгоритмы легкость в освоении
8. строгая (сильная) нестрогая (слабая) надежность скорость определенность удобство сосредоточение на задаче краткость записи ограниченное неявное преобразовани
9. явная неявная краткость записи -- Явное указание типа add :: (Integer, Integer) -> Integer add (x, y) = x + y -- Без явного указания типа add (x, y) = x + y устойчивость к изменениям понятная запись не нужно запоминать тип выборочная явная типизация
10. динамическая строгая неявная
11. def fib(n: int) -> Iterator[int]: a, b = 0, 1 while a < n: yield a a, b = b, a+b def fib(n): a, b = 0, 1 while a < n: yield a a, b = b, a+b PEP 484 -- Type Hints MYPY checker Stubs (statically typed interface definitions)