3 инструмента для Python, которые упростят работу с кодом
Авторизуйтесь
3 инструмента для Python, которые упростят работу с кодом
С опытом количество используемых в работе инструментов сокращается, поскольку многие из них вы просто перерастаете. Но такие, как эти, остаются в использовании надолго.
Инструмент 1: ИИ автодополнение и быстрый доступ к документации с Kite
У современных IDE есть встроенное автозаполнение, которое выглядит примерно так:
Встроенный инструмент обычно использует документацию для определения имён и типов возможных функций и параметров. Но что если редактор получит доступ к коду из всех публичных репозиториев GitHub и начнёт подтягивать не просто имена, а целые строки кода? И это реализовано в Kite.
Прим.ред. Такая функциональность доступна в планах Pro и Team. На момент написания материала для плана Pro действует бесплатная бета-версия.
Разберём подробнее особенности Kite — инструмента для Python с функциями умного автодополнения и быстрого доступа к документации.
Умные подсказки
Плагин Kite смотрит в комплексе ваш код, переменные, часто используемые имена параметров, документацию, и только после сбора всех данных рекомендует что-то вроде этого:
Copilot для документации
Прежде чем беспокоить более опытного коллегу или мчаться за ответами на Stack Overflow, почитайте документацию.
Kite Copilot упрощает поиск по документации. Он работает параллельно с IDE и показывает информацию о любых объектах или функциях, на которые наведён курсор.
Работает локально, приватно
Вдобавок ко всему, плагин создан для локальной работы, так что вы получаете быстрые советы, работа происходит в автономном режиме, и ваш код никогда не будет отправлен в облако.
Это крайне важно для людей с плохим интернет-соединением и тех, кто работает с закрытым исходным кодом.
Всё, что нужно сделать, это загрузить и установить плагин Kite для вашего редактора: есть бесплатная версия и Free Beta на Pro план с умным автозаполнением.
Инструмент 2: Статический анализ кода с Mypy
Python — динамически типизированный язык. Это значит, что переменная связывается с типом данных не в момент объявления, а в момент присваивания ей значения. То есть одна и та же переменная может быть и строкой, и целым числом, и каким-либо другим типом в зависимости от последнего присвоенного ей значения.
А вот примеры языков со статической типизацией, где для каждой переменной задан один конкретный тип данных, и в логике кода нужно придерживаться именно его:
Плюсы и минусы динамической типизации
Главное преимущество динамической типизации в том, что вам может быть лень постоянно прописывать типы, и такой язык, как Python, в этом поможет.
А вот недостатков больше:
Статическая типизация в Python
В Python нет статической типизации как таковой, но есть аннотации типов, которые проверяются статическими анализаторами с целью контроля типов переменных.
Обратите внимание на Mypy. Это статический анализатор типов для Python, который позволяет находить ошибки несоответствия типов в коде. Mypy выводит ошибку, если при работе с аннотациями типов значение переменной не соответствует присвоенному ей типу.
Если ваш код работает на проде, и вам важна его устойчивость к ошибкам, связанным с типизацией, используйте инструмент Mypy.
Инструмент 3: Быстрый поиск ошибок и чистый код с SonarLint
Сейчас почти во всех IDE есть линтер — статический анализатор возможных ошибок. Другими словами, он предугадывает ещё до запуска кода, что может пойти не так, и выделяет предполагаемые ошибки.
Python Linter по умолчанию в VS Code
В свою очередь, динамический анализ не предугадывает, а действительно запускает/компилирует части кода, чтобы определить, работает ли он, но делает это автоматически в фоновом режиме. То есть он на самом деле знает, что пойдёт не так в процессе выполнения программы.
SonarLint — это тот самый динамический анализатор кода, который поможет решить следующие проблемы.
Лишний код
Допустим, вы не удалили закомментированные части кода, оставили неиспользуемые функции и прочие рудименты. SonarLint предупредит об этом, и вы сможете своевременно очистить код от всего лишнего.
Уязвимости
Большая обновляемая база данных с перечнем уязвимостей позволяет плагину вовремя предупреждать о любых известных уязвимостях, которые встречаются в вашем коде.
Когнитивная сложность
Подробнее об этом можно прочесть в статье. Если говорить кратко, разработчики плагина создали математическую формулу, которая может оценить, насколько читабелен ваш код.
Это не только полезно, но и просто. Каждый раз, когда SonarLint предупреждает вас о чрезмерной сложности, это сопровождается объяснением правила, которое вы нарушили. Например, «слишком большая вложенность операторов if», более известная как спагетти-код. Удобно, правда?
Плагин SonarLint позволяет использовать лучшие практики и писать понятный чистый код.
Подытожим
Все перечисленные инструменты для Python бесплатны или же поставляются в нескольких вариантах, включающих бесплатный.
Kite: контекстные подсказки и автодополнение при написании кода
Во время написания кода часто приходится открывать Google, искать образцы кода, документацию и подсказки. Разработчики приложения Kite предлагают продвинутое решение — интерактивный «помощник», который в процессе набора кода в фоновом режиме вытягивает контекстную информацию из общедоступных образцов кода в интернете (и из кодовой базы текущего проекта) и показывает на экране в удобном виде.
Kite интегрируется в редактор кода и консоль.
На странице Privacy разработчики Kite объясняют, что весь набранный в программе код отправляется на серверы Kite по https, а компания обещает не использовать его никоим образом. Но всё равно кое у кого такая система вызывает некоторые опасения, ведь даже команды из консоли отправляются им на сервер в полном составе.
Но удобство Kite, наверное, перевешивает потенциальные угрозы безопасности.
Здесь и примеры кода, и документация, и ссылки на наиболее часто задаваемые вопросы.
Kite автоматически фиксирует и предлагает исправить опечатки в коде.
В качестве приятного бонуса — подсказки к командам в консоли.
Приложение Kite поддерживает редакторы Sublime Text, emacs, vim, PyCharm и Atom, а также интегрируется в Terminal.app и iTerm. Все плагины лежат в официальном репозитории.
Самый главный недостаток — пока что Kite поддерживает только Python и работает только под OS X. В ближайшее время разработчики обещают увеличить количество языков и добавить поддержку Linux и Windows. Это необходимо сделать как можно быстрее!
What are the Kite processes
There are a number of processes that need to run in order for Kite to function properly.
macOS
Kite Engine
This is the main Kite process. It is responsible for performing all the code analysis and also manages displaying the menubar icon.
This is the Copilot UI that ships with Kite. It will not work unless the Kite Engine is running. You can exit out of the Copilot any time and reopen it using the menu bar icon.
Kite Helper
This is a process that runs only at startup to ensure that Kite is updated.
Windows
kited.exe
This is the main Kite process. It is responsible for performing all the code analysis and also manages displaying the menubar (system tray) icon.
Kite.exe
This is the Copilot UI that ships with Kite. It will not work unless kited.exe is running. You can exit out of the Copilot any time and reopen it using the system tray icon.
Note: The Copilot is powered by Electron, which spawns multiple processes. That is why there are multiple processes with this name.
KiteService.exe
This is a process that ensures that Kite is updated.
Linux
kited (
This is the main Kite process. It is responsible for performing all the code analysis.
This is the Copilot UI that ships with Kite. It will not work unless kited is running. kited will manage launching this when necessary.
Note: The Copilot is powered by Electron, which spawns multiple processes. That is why there are multiple processes with this name.
kite-updater.service
This is a service that is registered with systemd that ensures that Kite is updated.
Кайтсёрфинг: гид для начинающих
Леванте, Сирокко, Мистраль, Бора… Если перефразировать строчку из знаменитого фильма «Достучаться до небес», то у кайтеров все разговоры только о ветре, который является необходимым и достаточным условием для успешного катания. «Сегодня дует?» — главный вопрос всех любителей этого вида спорта. Они готовы гоняться за ветром по всему миру, зато их отдых никак не назовёшь скучным.
Что такое кайтсёрфинг
С чего начать
Кайтсёрфинг — экстремальный вид спорта, поэтому обучаться управлять кайтом и доской необходимо у опытного инструктора. Возрастных ограничений нет: научиться может каждый, так что этим видом спорта занимаются и дети, и люди старшего поколения. Главное — правильная техника.
С каждым годом кайтсёрфинг становится популярнее, по всему земному шару открывается всё больше школ, где можно получить базовые навыки катания.
Выбрать кайт-школу можно как заранее, изучив отзывы о споте, куда запланирована поездка, так и непосредственно на месте.
Как проходит обучение
На суше
Первые уроки по кайтингу проводятся на суше. Инструктор объясняет основные термины и физику процесса, учит «работать» с ветром, показывает, как правильно «собирать» и запускать кайт. Новичок пытается овладеть основными приёмами управления на тренировочном кайте небольшого размера.
В воде
Затем обучение переходит в воду. Сначала необходимо научиться искусству бодидрага, то есть плаванию за кайтом лёжа на боку или на животе. Этот навык очень важен для понимания возможностей кайта, силы тяги в зависимости от его расположения в «ветровом окне» (область, где летает кайт), а также для самоспасения в экстремальной ситуации или возвращения потерянной доски.
Далее идёт очень важный этап — «подъём» на доску. И здесь главное — не сдаваться, так как у многих учеников основные трудности начинаются именно на этом этапе, требующем одновременно управлять не только кайтом, но и доской. Кстати, у любителей сноуборда и вейкборда (экстремальный вид спорта, когда человек движется на доске по воде за катером, держась за специальную веревку) эта стадия проходит гораздо легче.
Когда наконец одну ногу удаётся правильно согнуть, а другую — должным образом выпрямить и получается проехать на доске хотя бы пару метров, можно считать, что начало положено.
Сколько времени занимает обучение
Скорость освоения базового курса зависит от способностей ученика. Уже после недели активных занятий можно встать на доску и начать двигаться по поверхности воды на небольшие расстояния. Дальше необходимо учиться разворачиваться, двигаться против ветра, тренировать бич-старт (начало движения у самой кромки воды, а не из глубины), но это уже вопрос самосовершенствования.
Став первоклассным райдером, можно переходить к выполнению прыжков и различных трюков или освоению техники катания на специальной доске «директ» по волнам. Кайт позволяет за одно и то же время поймать на десяток волн больше, чем это получается в классическом сёрфинге.
Сколько стоит занятие
Стоимость часа занятия с инструктором с учётом аренды оборудования составляет примерно 50 € (≈ 3600 руб.), цены варьируются в зависимости от местоположения школы. Выгоднее брать курс из нескольких уроков.
По окончании обучения сертифицированные школы выдают специальные карточки IKO (International Kiteboarding Organization) с указанием уровня, которого смог достичь ученик. Эта карточка — своего рода пропуск для аренды оборудования и продолжения учёбы в будущем. Таким образом мировое сообщество кайтсёрферов стремится обезопасить своих участников от столкновения с плохо подготовленными самоучками.
Где поучиться кайтингу
Крупнейшие школы обычно имеют несколько филиалов по миру. Например, ION CLUB предлагает обучение кайтсёрфингу на Канарских островах, в Египте, Доминикане, Испании, Марокко, Турции и Кабо-Верде. На Маврикии можно поучиться в Kite Camp Mauritius. Если не хочешь далеко ехать — отправляйся в кайт-школу на Должанской косе (стоимость обучения — от 1700 руб. в час) или в Переславль-Залесский на Плещеево озеро в Riders of the Storm (стоимость обучения — от 2000 руб. в час).
Оборудование
Собственное оборудование стоит покупать тогда, когда начинающий кайтер уже более или менее может свободно кататься по акватории без указаний инструктора. Перед тем как делать выбор, лучше посоветоваться с инструкторами кайт-школ или другими знакомыми продвинутыми кайтерами, так как оборудование, подходящее для новичка, отличается от того, каким пользуются профессионалы.
Новичкам больше всего подходят гибриды, совмещающие плюсы bow-кайтов и C-кайтов. Цена на кайт может варьироваться от 60 000 до 200 000 руб. в зависимости от размера, производителя и года выпуска. Совместно с кайтом также приобретается подходящая для него планка (специальное устройство с верёвками-стропами, которое позволяет управлять куполом змея). На неё придётся потратить 20 000—45 000 руб. Для того чтобы надувать кайт необходимо приобрести специальный насос (1000—5000 руб.).
«Кайтить» можно и на острове Фуэртевентура, Канарские острова.
Трапеция
Следующий важный предмет трапеция — специальный ремень, на котором держится система управления кайтом. Трапецию нужно выбирать по размеру (от XXS до XXL в зависимости от талии). Стоимость в диапазоне от 10 000 до 35 000 руб.
Доска
Что касается досок, то они тоже бывают разные и подбираются в первую очередь по весу и росту спортсмена. Для новичков подходят достаточно широкие доски, продвинутые кайтеры могут использовать более узкие доски, доски для сёрфинга по волнам, специальные доски для прыжков. В зависимости от материала они могут стоить от 30 000 до 60 000 руб. (с учётом плавников и петель).
Начинающему кайтеру нужны спасательный жилет и каска, которые не только обеспечат пассивную безопасность, но и покажут другим участникам водного движения, что перед ними ещё не очень уверенный райдер.
Всем спортсменам, занимающимся различными видами сёрфинга, могут пригодиться гидрообувь (в случае плохого дна), гидрокостюм — на холодную погоду и лайкра и шорты — на тёплую, а также спортивные солнцезащитные очки.
Подготовка кайта к запуску, его «парковка» на берегу, хранение и уход — целая наука и достаточно трудоёмкий процесс. Его необходимо освоить во время обучения или последующего общения с продвинутыми кайтерами. Это позволит повысить безопасность занятия этим видом спорта и дольше сохранять кайт в состоянии, пригодном для использования.
Этика катания
Кроме того, нужно изучить этику взаимодействия между участниками сообщества кайтсёрферов. Ведь на споте может быть очень высокий трафик — множество спортсменов разного уровня, катающихся в одной, часто не очень широкой акватории. Например, прикладывание руки к голове означает просьбу о помощи с «посадкой» кайта (его приземлением в правильном положении).
В целом покупка оборудования, особенно если приобретать всё новое, может обойтись достаточно дорого — порядка 350 000 руб. Однако здесь существует несколько лайфхаков, которые помогут сократить расходы примерно в два раза. Можно купить б/у оборудование или модели прошлых лет в кайт-школах и специализированных магазинах на спотах, которые в конце «катательного» сезона часто проводят распродажи.
Как перевезти оборудование
Для путешествия с большим количеством кайт-оборудования удобно приобрести сумку для гольфа. В неё как раз помещаются доска, несколько куполов и другие необходимые принадлежности. Кроме того, некоторые авиакомпании позволяют провозить её как обычную сумку для сдачи в багаж, то есть не требуя доплаты за ненормативный размер.
Как выбрать место для катания
Где ветер дует?
Где кататься
Важный момент для выбора спота, особенно для новичков, — наличие «спасалки» (которая бывает далеко не везде) — специальной услуги, когда кайтеру оказывается помощь на воде, например в случае, когда ветер внезапно стих, кайт упал и нет возможности вернуться на берег своими силами.
Кайт-споты есть во всех частях света, их огромное количество, рассмотрим несколько из них.
Кайтсёрферы ловят ветер на пляже Булабог, остров Боракай.
Азия ( Филиппины)
На райском острове Боракай, известном потрясающим длинным пляжем с белым песком и активной ночной жизнью, есть все условия для занятий кайтингом в зимний период: стабильный ветер, тёплая вода и жаркое солнце. На пляже Булабог-Бич нет обычных туристов, тут правят балом кайтеры. В этой лагуне множество международных кайт-школ, в том числе с русскоговорящими инструкторами. Жильё на острове на любой вкус, как и рестораны, бары и другие развлечения. Единственное, стоит знать, что дно в кайтерской лагуне усыпано панцирями морских ежей, а это значит, что с собой обязательно нужно брать гидрообувь.
Европа ( Испания)
Тарифа — настоящая Мекка кайтингового спорта, самый южный город Европы, точка, отделяющая Средиземное море от Атлантики. В Тарифу можно добрать ся на автомобиле из аэропорта Малаги за пару часов по живописной дороге, проехав вдоль побережья Коста-дель-Соль.
Для кайтеров в Тарифе есть всё: магазины оборудования, сёрф-кемпы, специальные хостелы для сёрферов в нескольких минутах ходьбы от спота (например, South Hostel Tarifa — Kite Service Center ), а также всевозможные развлечения, бары и, конечно, ветер, который дует постоянно.
В этом знаковом месте и ветра имеют особые названия: Поньенте и Леванте. Поньенте — западный ветер, дует с Атлантики. Он более ровный и не очень сильный, отлично подходит для фрирайда и невысоких прыжков, но нагоняет небольшие волны. Леванте — восточный ветер, дует с Средиземного моря. За порывистость и силу его обожают профессиональные райдеры. В дни сильного Леванте на центральном пляже Тарифы (рядом с пирсом и крепостью) можно увидеть, как профессионалы прыгают мегакайтлупы (сложные прыжки) высот ой до 30 метров. Это действительно захватывает!
Пляж Тарифа — самая южная точка Испании и место, где встречаются Средиземное море и Атлантический океан. Рай для кайтсёрферов.
Америка ( Доминикана)
Небольшой городок Кабарете — столица кайтинга в этом регионе. Сразу по прилёте на стенах аэропорта соседнего крупного города Пуэрто-Плата можно увидеть инсталляции с кайтовым оборудованием. Пляж в Кабарете очень длинный, в одном его конце катаются кайтеры, посередине — сёрферы, и ещё остаётся место для отдыхающих. Ветер дует практически круглый год, однако основной туристический сезон приходится на зимние месяцы. Одной из опасностей этого спота, которую стоит принять во внимание, — близость к коралловому рифу. Сам курорт, конечно, уступает по качеству инфраструктуры более раскрученной Пунта-Кане, здесь нет таких шикарных отелей с all inclusive, однако есть всё необходимое для приятного отдыха и даже больше.
Африка ( Маврикий)
Где «кайтить»: рекомендация автора
Любителям отдохнуть без толп туристов могу посоветовать спот Калпития на Шри-Ланке. С точки зрения отелей и ресторанов здесь всё в основном базового уровня, однако есть возможность не только поймать ветер, но и почувствовать себя настоящим ланкийцем.
Кайтсёрфинг — это адреналин и незабываемые эмоции. Он может подарить совершенно непередаваемое ощущение свободы, помочь отдохнуть душой и отвлечься от повседневной рутины.
ML в помощь: инструменты для разработчика с использованием ИИ
Машинное обучение продолжает проникать в самые разные сферы человеческой деятельности, и такая технологичная область, как разработка ПО, конечно, не могла стать исключением. По прогнозу специалиста по ИИ и машинному обучению Сергея Маркова, озвученному в лекции «Итоги ИИ-2019», в 2020-м году появится большое количество инструментов разработки, использующих машинное обучение. Это навело меня на мысль, что какие-то из этих инструментов должны быть доступны на рынке уже сейчас — могут ли они в таком случае помочь «в быту» обычному веб-девелоперу, пишущему на Java, Python и JS?
Забегая вперед, скажу, что, к моему сожалению, решений, способных генерировать хоть сколько-нибудь «боевой» код, в открытом доступе сейчас нет. Ближе всего к этому подошли Bayou и DeepCoder, но и эти проекты всё еще слишком сырые. Больший прогресс наблюдается в смежных направлениях — таких как автокомплит, статический анализ, генерация тестов. Об этом я и расскажу в статье.
Kite — умный автокомплит и встроенная документация в IDE для Python
Сайт: https://kite.com/
Цена: Полностью бесплатный.
Плагин для ускорения написания кода при помощи «умного» автодополнения. Kite индексирует кодовую базу проекта, что подразумевает показ наиболее релевантных подсказок. Помимо собственно автокомплита, при необходимости можно в один клик раскрыть встроенную документацию с примерами кода для 800+ библиотек (наиболее полезно для библиотек типа numpy или pandas). Раз в неделю на почту присылается отчет со статистикой использования функции автоподстановки.
Предложения Kite (помечены значком) намного релевантнее нативных. Pop-up с документацией подскажет, что можно передать в kwargs
Раньше Kite отправлял небольшие куски кода на сервер, что многим не подходит по соображениям безопасности, но — хорошая новость! — сейчас Kite от этой практики отказался, и весь анализ происходит локально. В использовании плагин вполне дружелюбен — легко устанавливается и шустро работает, не загружая систему. Kite поддерживает большинство популярных IDE: Idea,PyCharm, Sublime, Vim, Vs code, Spyder и Atom. 
В сухом остатке: пожалуй, самый готовый для боевого использования проект в подборке. Рекомендую всем, кто пишет на Python.
Для других языков есть аналогичные продукты — Codota для Java или TabNine, который поддерживает 22 языка. Не успел их распробовать, но по ощущениям, Codota предлагает более консервативные подсказки, в то время как TabNine (для Java) предлагает целые куски кода, включая имена переменных (иногда без всякого контекста) и попадает в точку.
DeepCode — статический анализатор кода с упором на поиск уязвимостей
Сайт: https://www.deepcode.ai/
Цена: Cloud версия бесплатна для opensource-проектов и команд до 30 человек. Есть self-hosted вариант для GitLab и BitBucket Enterprise, цена договорная.
По меткому выражению разработчиков, DeepCode — это Grammarly для кода. Назначение — помощь разработчику в обнаружении ошибок и уязвимостей в коде. Self-hosted решение поставляется в виде docker-контейнера, интегрируется в систему контроля версий через хуки и настраивается буквально за 10 минут. Также доступен бот для проверки пулл-реквестов. Заявлена поддержка языков Java, Python, JavaScript, и TypeScript.
Пример рекомендации DeepCode
Впечатления от использования: очень порадовал низкий процент ложных срабатываний. Все найденные проблемы были вполне реальными и не выстреливали по не зависящим от качества проверки причинам (код с багами не запускался, небезопасный код не использовал пользовательский ввод). Предупреждения, связанные с производительностью, также выглядят вполне резонно. Количество обнаруженных проблем в сравнении с анализатором Java кода FineBugs или той же PVS-Studio выглядит незначительным — 200 против 2-4 тысяч. Не знаю, считать ли это плюсом, но 200 штук по крайней мере реально разобрать, чего не скажешь о 4 тысячах.
Бот проверяет каждый pull request
В сухом остатке: если при работе с линтерами вас всегда расстраивало количество ложных срабатываний, стоит попробовать DeepCode. Также это отличный способ контрибьютить в opensource: форкните проект себе, прогоните тест — и парочка полезных pull requests у вас в кармане.
DiffBlue — автогенератор unit-тестов для Java
Сайт: https://www.diffblue.com/
Цена: 3375$ в месяц для команды из 25 человек. Бесплатный тариф для индивидуального использования пока в планах.
Этот продукт выглядит самым амбициозным в подборке. Британский стартап, в прошлом году получивший 20 миллионов в качестве инвестиции от Goldman Sachs. Если изначально я искал что-то, что генерирует код по тестам, то DiffBlue генерит тесты по коду с возможностью встраивания в CI. Продукт отличает хорошая интеграция с тестовой инфраструктурой Spring Boot. Работает с Gradle, Maven, testng, Junit.
Разработчиком заявлены два режима работы:
DiffBlue сам мокает классы, генерирует фикстуры и ассерты.
На реальных проектах DiffBlue показал себя неоднозначно.
