Пара слов о GitHub Сopilot
DALL-E: "Vrubel style painting of pair programming Robot + Human. An robot is writing code, a human is reviewing code".
Последние несколько недель использовал GitHub Сopilot, благо для Emacs есть плагин. Поделюсь впечатлениями.
Для справки, я уже лет 15 осознанно не использовал умное автодополнение. Всё моё автодополнение — это DynamicAbbreviations, по сути — дополнение написанного слова на основе словаря из открытых исходников.
Причина отказа такая: используя «умное» автодополнение (например, подсказку аттрибутов/методов объекта) перестаёшь понимать проект. Начинаешь на автомате брать предлагаемые варианты методов/переменных, не разбираясь что они конкретно делают и есть ли альтернатинвые варианты.
В краткосрочной перспективе отказ от автодополнения повышает нагрузку на человека (особенно на память) и замедляет работу, но в доглосрочной даёт глубокое понимание проекта, возможнсоть крутить его в голове как угодно, что с лихвой окупает потери на скорости в моменте. А поскольку я работаю только над долгими проектами, долгосрочная выгода важнее.
С Copilot я, похоже, вернуcь к умному автодополнению, в его более правильном варианте.
Итак, давайте посмотрим чего умеет и не умеет Copilot.
Минидрама: Python, C, Rust, криптография и Gentoo
- Часть кода популярной Python криптобиблиотеки переписали на Rust.
- Сломалось CI у кучи людей.
- Дополнительно сломалось чегой-то в пакетном менеджере Gentoo.
- Изменения незаметили, так как… ну кто следит за криптолибами? Их просто ставят.
- Все думали, что cryptography следует semantic versioning, оказалось, что нет :-D
В итоге:
- Разработчики сказали, что откатывать Rust взад не будут — это более кошерный язык для криптографии, чем C.
- Gentoo оказалась не так уж и поломана — зависимость оказалась ненужной, но осадочек остался.
- Люди с CI поплакали, но донастроили что надо было донастроить, и вернулись к своим делам.
Соль драмы в том, Gentoo поддерживает часть архитектур, которые не умеют в Rust. Одновременно Gentoo сильно зависит от Python. В этот раз пуля пролетела мимо, но возникли опасения, что Rust будет всё активнее использоваться к инфраструктуре Python. и в какой-то момент станет необходимой зависимостью. Что в этом случае случится с поддержкой минорных архитектур не ясно.
Google стал Visionary Sponsor для Python
Не знаю что в PSF понимают под Visionary, но ничего хорошего такое визионерство языку не несёт. Конечно, если оно вообще что-то несёт. Но не вижу смысла продавливать отдельный термин для простого спонсорства — вряд ли PSF сама выбрала такую формулировку.
Цели, задачи, потребности корпорации планетарного масштаба принципиально отличаются от целей, задач и потребностей рядовых пользователей языка. Я даже не знаю как это оспорить можно. Я уже писал на тему целей Google при разработке Go в эссе о типизации в Python.
Своим текущим состоянием: идеологией, возможностями, распространённостью Python обязан в первую очередь рядовым пользователям, не Google.
В частности, одно из очевидных противоречий — вопрос гибкости и контролируемости кода.
О книге «Алмазный век»
Алмазный век или букварь для благородных девиц Нила Стивенсона я взялся читать из-за второй части названия. В статье про электронную книгу для детей на dev.by кто-то упомянул букварь как пример крутой технологии, меняющей общество. А я уж очень соскучился по хорошей «Лемовской» футурологии. Лем-то уже не пишет, по объективным причинам… Ну, думаю, вот оно! Лауреат премии Хьюго ерунду не напишет! Ерунду, конечно, не напишет, но и правдоподобно описывать будущее тоже не обязан :-D
Получилась у Стивенсона добротная сказка для взрослых, с парой оргий, чернухой, мутной логикой и множеством искусственных неологизмов. Как-будто достоверность описания будущего зависит от количества новых терминов и неожиданных применений технологий.
Мой прогноз на 2050-ый
Поучаствовал в обсуждении сеттинга рассказов для следующего конкурса СССР 2061 и внезапно написал своё видение развития IT (и около IT-шных областей) на ближайшие 30 лет (ориентировочно до 2050). Надеюсь, в 50-ом смогу это прочитать.