я так понимаю эти аннотации просто разрешены синтаксически?

тайпчекинг и прочее как обычно отдано как соглашения, как это принято в сипайтон.

да?

угу. IDE будет разруливать

мда

и типы можно вывести только там где они зааннотированы

то есть стдлиб идёт нафиг.

и я могу проверить только собственный факториал

верно?

ну некоторые IDE-шки уже пытаются выводить типы... но бывает что не очень получается

а тут ты типа подсказываешь

уверен в этом.

когда у тебя функция возвращает None или что-то ещё, например.

как проверить сложение с чем-то, да?)

Не выполняя код.

Потому что это аннотации

и типы не у переменных

а у значений.

{"key": value_object}.get("key", False)

как с таким работать

@delimitry где аннотации применять вообще?

пишешь такой : Any)))

Где это может помочь.

Лол

збс

Хочу auto )

и чтобы типы выводились.

@delimitry где аннотации применять вообще?

я у себя нигде пока не применяю. ребята пробовали. вроде не зашло. @td_mulga @lig11 вы юзали же?

Я попытался применить их в трансляторе асма простенького.

Чёт тоже так себе.

Правда предыдущие

тайп аннотейшнс для функций.

громоздко и отвратительно получилось.

>>> def foo(): ... X: anyshit = object ... return X ... >>> foo() <class 'object'>

meh...

It should also be emphasized that Python will remain a dynamically typed language, and the authors have no desire to ever make type hints mandatory, even by convention.

и я чота не понял, это было фичей 3.5го

так тут для переменных

а не для функций

и?

это всё равно было в 3.5

Status: Accepted Type: Standards Track Created: 29-Sep-2014 Python-Version: 3.5

У меня в 3.5 >>> a: str = '123' File "<stdin>", line 1 a: str = '123' ^ SyntaxError: invalid syntax

гм. угу..

ошибка в пепе или куда

Это PEP-0526

а я на 484й смотрю

да этот в 3.5 был ага

а, типы. то что после стрелок и двоеточий, хм

Ну, мне кажется, что это всяко лучше чем описывать тип в комментарии для переменных как предлагается в PyCharm для < 3.6. Без знания типа ведь никакой автокомплит нормально работать не будет, а без нормального автокомплита только hello world можно написать с современными библиотеками.

Ещё очень полезно, когда IDE показывает, что в функции переменная используется, скажем, как строка, а ты запихал туда число. И после вот такого мне смешно читать или спорить на тему "Я в блокноте код пишу и нормально всё!"

угу. IDE будет разруливать

Не ну как. Есть стандарт де факто - mypy

А что mypy? Запускать его каждый раз для прогона кода? Оно же вроде как вещь в себе, ни в какую IDE его не встроишь.

я у себя нигде пока не применяю. ребята пробовали. вроде не зашло. @td_mulga @lig11 вы юзали же?

Ну, скажем так, оно работает с mypy ровно так, как если бы у тебя был проверяющий типы компилятор

а что делать если функции пофиг на тип входных данных, пока оно крякает?

Делать тайпкласс.

А что mypy? Запускать его каждый раз для прогона кода? Оно же вроде как вещь в себе, ни в какую IDE его не встроишь.

Эээ... У меня оно прекрасно в pydev в качестве линтера работает

и указывать его

в 99% мне насрать на тип, меня волнует интерфейс/контракт

Эээ... У меня оно прекрасно в pydev в качестве линтера работает

А, ну ок тогда.

абц не хотеть

в 99% мне насрать на тип, меня волнует интерфейс/контракт

И часть его - типы данных

в 99% мне насрать на тип, меня волнует интерфейс/контракт

IDE для Python должна понимать утиную типизацию

Это как еще?

Нетипизированный контакт - зло больше, чем неявная типизация

IDE для Python должна понимать утиную типизацию

def add(a, b): return a + b как должна иде помочь с таким случаем?

ERROR: S client not available

сходить в будущее и сказать въёбло в рантайме или нет.

туда реально можно скормить примерно что угодно

для этого и надознать типы a и b, чтобы знать, что они должны уметь складываться

нет других вариантов.

и вывода типов нет

потому что системы типов нет

ну то есть

вы понели

def add(a, b): return a + b как должна иде помочь с таким случаем?

Проверить все вызовы на типы поддерживающие сложение

т.е. при пишем add( и оно должно выдать список всего, что содержит __add__ и __iadd__ ?

если оно в такое научится - это будет магией

потому что системы типов нет

Есть. Она есть и без аннотаций так то. Чай не руби или жеэс

если оно в такое научится - это будет магией

Это в обратную сторону

Это в обратную сторону

Сейчас оно может проверить, что все возможные варианты a b смогут сложение

Короче, есть кейсы, когда оно мешает, тогда тесты, но в 80% кода, на самом деле, типы данных известны.

Вы лучше скажите, в 3.6 magic.io стало ближе или пока нет?

Я про uvloop под asyncio

Они же вроде грозились притащить его в батарейки чуть ли ни целиком

а я правильно помню что ювлуп - это ноды кусок?

It should also be emphasized that Python will remain a dynamically typed language, and the authors have no desire to ever make type hints mandatory, even by convention.

Но мы же все понимаем, что это сказано, чтобы хомячки инсульт не схватили. И в реальном проекте нужно ?% переменных покрывать типами. Ибо явная типизация - великая благодать

а я правильно помню что ювлуп - это ноды кусок?

Ну, порт типа. А почему бы и нет?

да я не против, там кошерный IOCP же

Привет всем!

О опять про типы

Я вот сейчас на Go пишу утилиту по работе... Ну вы пони ?

го это хорошо

в проце(типов нет)

остальное все пройдет

одни договоренности

Python с uvloop и mypy - это Go с эксепшенами и нормальным ооп, но хреновым gc

в проце(типов нет)

Есть же ?

приятно конечно ловить ощибки в процессе компиляции