Питонистам

наверное, питонисты просто работают в IDE, а не в блокноте.

Разумеется. А через год в другом иде и...

установи PyCharm и посмотри. Там у каждой переменной пишется тип.

начиная с https://docs.python.org/3.5/library/typing.html смотри что придумали.

Лорчую

вангую, пятница и ОПу скучно.

Переизобрели JSDoc. Даже с этим стормозили на четверть века

А никак, питон это не строгая типизация, где надо строго, есть пачка pep которые покрывают конкретные кейсы, аля

https://www.python.org/dev/peps/pep-0613/

Точно.

А как питонисты разбирают в коде, какие переменные про что?

А как «не-питонисты» разбирают какие переменные про что?

В питон как раз строгая типизация.

typing ?

По контексту использования же. (Еще можно в отладчике подсмотреть, но это секретное знание для избранных, никому не сообщайте).

Ты список от мапы не отличаешь или что? Или никогда про typing не слышал?

Надеюсь, ты не про венгерскую нотацию? И да, IDE + аннотации типов. В мелких программах можно без аннотаций, в крупных без них совсем плохо.

Я нет.

Оно попросту очевидно, да и всегда можно перейти к определению. А вообще, сейчас type hints во все поля.

Строгая. Ты путаешь понятия.

Третий питон уже давно поддерживает указание типов переменных. И всякие IDE типа pycharm прекрасно ориентируются по ним.

как питонисты разбирают в коде, какие переменные про что

Безотносительно питона, есть такое волшебное средство, называется комментарии.

Кстати, а на скопости выполнения программы это сказывается? Если нет, то толку от указания?

да, точно, ровно наоборот

для больших программ типа Очень специфическая прикладная программа записываю на бумаге глобальные переменные, функции

Ну начнём с того что питон тут ничем не выделяется, ибо даже в плюсах давно auto во все поля. А так даже никогда не задумывался. Когда читаешь чужой код, типы вообще не нужно знать. Максимум - скаляр или коллекция, и это из контекста понятно. Когда пишешь код используя чужое API, сигнатуры есть в документации. Когда пишешь свой код в принципе всё помнишь.

А так-то сейчас в моём питоновском коде больше аннотаций типов чем в плюсовом.

наверное, питонисты просто работают в IDE, а не в блокноте.

И в блокноте, и в vim. Никакой надобности в IDE для питона никогда не испытвал.

Не сказывается. Толку - статическая проверка вместо падений в рантайме и документация.

утино разбирают

крякаяет утка

мяукает кошка

вчём у тя трудность?

Мы, питонисты, прежде всего умеем читать с пониманием, а наша память превосходит память программистов на Java и золотых рыбок. Книжки с ударениями для младшего школьного возраста.

А еще мы пишем код, который легко читать и понимать.

Т.е. на читаемость кода тебе плевать

Ну и помимо очевидной плюхи ввиде повышения читаемости и проверки типов в IDE, есть всякие штуки связанные с метапрограммированием вроде pydantic которые могут автоматически генерить сложные сериалайзеры ориентируясь по указаниям типов. Или автоматически мокать функции исходя из типов mock.create_autospec().

начиная с https://docs.python.org/3.5/library/typing.html смотри какой костыль придумали!

Ты хотел сказать. Ибо:

~> cat gvido.py 
#!/usr/bin/python3

def greeting(name: str) -> str:
    print(name)
    return name

greeting("test")
greeting(148866613)
~> ./gvido.py 
test
148866613
~> 

Упс.

Динамическая типизация рулит кричали они, динамическая типизация педалит! А потом с грязным задом прилепили type hints. Когда их ждать обязательными, чтобы Python наконец-то стал серьёзным языком?

Никогда.

А никак, питон это не строгая типизация, где надо строго, есть пачка pep которые покрывают конкретные кейсы, аля

Python имеет динамическую строгую типизацию. Язык C имеет статическую слабую типизацию. У Java статическая строгая (master race). У JavaScript динамическая слабая.

да я уже написал что перепутал)) Кстати есть занятный кейс для C++, чтобы понять когда char число, а кода символ

char c = 'A';
cout << c << " " << +c << endl;

Там у каждой переменной пишется тип.

def fun(i):
    if i > 10:
        return None
    if i > 5:
        return "A"
    if i > 0:
        return []
    return {}

x = fun(i)

что он напишет для x?

Я в некий момент пришел к тому, что если программа становится непонимабельной без аннотации типов, значит лучшее ее писать на чем-нибудь со статической типизацией. Например C#

Union[None, str, list, dict]

https://imgur.com/a/L0Sc2it

Это замечательная идея, но когда у тебя есть бывший прототип-на-питоне, случайно выросший до 500к строк кода плюс команда из сотни питонистов, переписывать это на более вменяемом языке довольно сложно.

Это нужно ДЛЯ программистов, а не ОТ программистов. IDE сигнализирует при неверных типах, а серьёзные проекты используют статические анализаторы - этого достаточно.

питонисты просто работают в IDE, а не в блокноте

Наглая ложь! Вима хватает.

По теме, смысл передаётся именами. А «списки сеты мапы» – это малосущественные детали реализации, редко достойные внимания.

ибо даже в плюсах давно auto во все поля

4.2

Декларация функций без auto. Если это не какой-то наркоманский шаблон.

Просто предполагается, что помнишь?

type(x)

начиная с https://docs.python.org/3.5/library/typing.html смотри что придумали.

Это чисто декоративное. Смысловой нагрузки не несёт.

Декларация функций без auto

с auto конечно.

https://gcc.godbolt.org/z/e814eY

Это нужно ДЛЯ программистов, а не ОТ программистов. IDE сигнализирует при неверных типах, а серьёзные проекты используют статические анализаторы - этого достаточно.

А раньше аргумент был что чистой динамической типизации – достачно.

Оказалось недостаточно.

По теме, смысл передаётся именами.

Венгерка на минималках! Даёшь str, num, dct, lst, tup в каждый дом аргумент!

Это говнокод.

Так её и достаточно. Это вина энтерпрайзов, использующих неподходящий язык и проталкивающих свои хотелки. В пыху тоже завезли, потому что есть даже такие дегенераты, которые пишут большие проекты на пыхе, а потом требуют от разработчиков сделать из пыхи джаву. Разве отвёртка виновата в том, что ей забивают гвозди?

Нет, это вина питонистов. Часть питонистов остались свободными когда всех джавистов и даже шарперов разобрали остальные тырпрайзы. Это ж нельзя так просто оставлять. Поэтому питон сделали недоджавой и набрали питонистов чтобы на этом кодить.

Ты плохо читал. «str, num, dct, lst, tup» – несущественные детали. Человечий мозг слишком слаб, не стоит его ещё и этим перегружать.

А «списки сеты мапы» – это малосущественные детали реализации

Там бы интерфейсы не помешали, а вот прыгать с бубном вокруг примитивных типов достойно кодомакаки. Рантайм покажет если надо, тем более в питоне нет другого надежного способа определить типы.