py-e

[phd_ru]

Полный π. Нет, вру, полный e. Вышел Python 2.7.18, последний релиз в ветке 2.7 и вообще последний в ветке 2.

Меня уже спрашивали, собираюсь ли я поддерживать свои библиотеки для работы с 2.7. Я пообещал пару лет, а если получится, так и больше. И на работе я пока в основном его использую.

PS. На моём предыдущем ноутбуке компиляция Питона из исходников выполнялась 3-5 минут. На новом секунд 15-20. Даже сам не ожидал.

Comments

[balu]

Если шапка не перевела свою анаконду на 3-ю ветку, то найдуться те, кто поддержит эту ветку.

[phd_ru]

Вряд ли это затянется надолго. Но поглядим…

[balu]

Вьі о поддержке второй ветки?
Она вьілизана бьіла, на ней многие сидели.
Когда я много писал на Python, переход на следующую минорную ветку всегда сопровождался несовместимостью. Как правило, по библиотекам из коробки. Как обстоит дело в третьей ветке?

[phd_ru]

> Вьі о поддержке второй ветки?

Да.

> Она вьілизана бьіла, на ней многие сидели.

Да, и я в основном пользуюсь 2.7

> Когда я много писал на Python, переход на следующую минорную ветку всегда сопровождался несовместимостью. Как правило, по библиотекам из коробки. Как обстоит дело в третьей ветке?

Ещё хуже. Члены Core Team вообще не знают, что такое "обратная совместимость", а те несколько, кто знает, не считает её важной. Serhiy Storchaka предложил убрать u-префиксы у юникодных строк; после этого любая попытка поддерживать библиотеки, работающие в Python 2.7-3.7 была бы обречена иметь 2 копии строк — с префиксами (в отдельном модуле!) и без; Guido его остановил со словами "не надо спешить, и вообще мне не нравится ваш настрой всё обнулить", но на все желающих одного Guido не хватает. Убрали библиотеку imp; кто хочет поддерживать код для всех веток Питона, ищет в Интернете, на какие вызовы importlib можно заменить, и не всегда есть простые замены; я кое как справился, но я недоволен ни процессом, ни результатом.

Я подозреваю, что втайне некоторые там знают, что такое "обратная совместимость". Но хотят изнасиловать пользователей, чтобы те поскорее избавились от Python 2.7. :-(

[balu]

Вижу, что я не прогадал с переходом на java. Тем более, что в IT случилось много хрошего в виде golang, swift и kotlin. А emacs прекрасен для всякой разовой мелочевки.

[phd_ru]

Я тоже иногда жалею, что не сбежал давно.

На swift и kotlin я бросил поверхностный взгляд, они мне понравились. И всё-таки…

Хотелось бы, чтобы swift компилялся в Windows, но не от Apple же ждать компилятора. Хотелось бы, чтобы kotlin компилялся в нативные коды, а не только в Джавский байт-код.

[balu]

Kotlin mainly targets the JVM, but also compiles to JavaScript or native code (via LLVM).
Как компиляется в натив не проверял. Но не особо актуально, в java давно можно сделать бинарь для всех платформ.

>Хотелось бы, чтобы swift компилялся в Windows<
Начиная c десятки есть встроенная убунта, можно запустить.

[balu]

Посмотрел на аннотации типов в 3.7+. Может я чего-то не понял, но если в рантайме они не дают никаких гарантий, то зачем же єто все? Зачем поломали совместимость в МИНОРНОЙ версии? Чтобы помочь IDE и чтобьі оно ломалось на динамических полях?
А если тьі понял необходимость статики, то, может, лучше взять Java, C#, Go, Swift и не компостировать себе мозги этой недожабой. /Єто при том, что в жабу завезли вьівод типов и уже не надо писать MyLongObject myLongObject = new MyLongObject()/.
Т.е. мьі вводим статику, но от динамики не отказьіваемся. Что єто, как не шизофрения?

[phd_ru]

Аннотации типов в Питоне — для статических анализаторов, mypy и прочих (Гугль и M$ написали свои анализаторы). Питон их во время выполнения не проверяет, но есть библиотеки, предоставляющие декораторы с проверкой типов.

[balu]

Та я прочитав и уже пост накатал. Чего-то я в єтой жизни не понимаю. Помогать редактору...

[phd_ru]

Больше, чем редактор. mypy реально хорошо находит проблемы несоответствия числа и типа параметров в описании и вызовах, но для этого весь проект должен иметь аннотации. То, что в языках со статической типизацией делает компилятор.

Хотя я сам mypy не пользуюсь, потому что считаю, что он не то проверяет. В таком динамическом языке, как Python, странно проверять типы, проверять надо "утиную типизацию", интерфейсы.

[balu]

>но для этого весь проект должен иметь аннотации.<
А еще біблиотеки, включая стандартную. Чего без потери совместимости не сделать.

>проверять надо "утиную типизацию", интерфейсы.<
Интерфейс и есть, по сути, тип. Хотя в статике єто и есть тип. Хотя я предпочитаю слово "контракт".

[phd_ru]

https://mypy.readthedocs.io/en/latest/stubs.html

https://github.com/python/typeshed/tree/master/stdlib

[balu]

Вижу, со стандартной дьірку закрьіли.

[balu]

Интересно, какой на гитхабе процент ручного труда?

[balu]

Я такие библиотеки использовал еще со времен 2.4, как только ввели декораторьі. Зачем єто бьіло вносить в сам язьік?

[phd_ru]

Для статических анализаторов.

[balu]

Если у нас есть контракт, то мьі вьіводім интерфейс (тип) переменной. Если у нас контракта нет, а єто нормальная ситуация, мьі работаем по старинке. Теряется смьісл ручного определения типа локальной переменной. А для функций с головой бьі хватило декораторов.
Ну и вся єта красота ломается на динамических полях.