Что нового добавили в REPL в Python 3.13
На самом деле серьезно его прокачали!
▫️Както я писал, что для выхода из REPL приходится писать exit, еще и скобки для вызова. И было бы удобней сделать это по аналогии с обычным терминалом.
Видимо, я не один такой😁 В новом REPL добавили несколько команд:
exit или quit: для выхода. Именно так, без вызова функции!
clear: для очистки терминала
help или F1: для входа в режим справки (q для выхода)
▫️ Автокомплит по TAB аналогичный Linux-терминалу. Одиночный TAB заполняет самое пхожее совпадение, двойной показывает все доступные варианты. Эти варианты фильтруются по мере набора.
▫️ Ранее при вставке многострочного кода с пустыми строками мы получали ошибку IndentationError, теперь это исправили.
Хотя, в некоторых терминалах это даже с 3.6 работает нормально, но зависит от конкретной реализации именно терминала а не Python. На винде точно не работает до 3.13.
Пример кода для теста в 3.12 и 3.13
class A:
def test(self):
pass
▫️ История ввода теперь учитывает многосрочные команды.При нажатии стрелки вверх появятся все строки из прошлого многосрочного ввода, по ним даже можно перемещаться и редактировать.
По нажатию F2 можно открыть всю историю ввода.
▫️ Колоризация кода для tracebacks и doctest. Также я заметил что имеет цвет промт функции input().
Кстати, для тестов на винде без установки можно использовать портейбл версию из проектаWinPython.
#release
🌍 The Prime Meridian, set at 0° longitude, runs through Greenwich, England. Before 1884, over 20 different countries used their own starting meridian, making navigation confusing worldwide. ✨
#coordinates⚡#longitude⚡#navigation⚡#geography⚡#nature⚡#earth
👉subscribe Amazing Geography
👉more Channels
🌍 The line of longitude at 180°, known as the antimeridian, is mostly ocean but zigzags to avoid splitting island nations. This creates the International Date Line’s famous bends and detours. ✨
#coordinates⚡#longitude⚡#dateline⚡#geography⚡#nature⚡#earth
👉subscribe Amazing Geography
👉more Channels
🌍 The 180th meridian, a line of longitude, is opposite the Prime Meridian and mostly runs through the Pacific Ocean. It’s where calendar days officially change, creating the famous International Date Line. ✨
#coordinates⚡#longitude⚡#dateline⚡#geography⚡#nature⚡#earth
👉subscribe Amazing Geography🌍
🌍 The Equator is the longest line of latitude, stretching over 40,000 kilometers around Earth. By contrast, lines of longitude meet at the poles and are shortest where they cross the Arctic and Antarctic. ✨
#coordinates⚡#latitude⚡#longitude⚡#geography⚡#nature⚡#earth
👉subscribe Amazing Geography
👉more Channels
🌍 The geographic coordinates of the North Pole are always 90° north latitude, but its longitude can technically be any value—every line of longitude meets at this single icy point. ✨
#coordinates⚡#latitude⚡#longitude⚡#geography⚡#nature⚡#earth
👉subscribe Amazing Geography🌍
🌍 The Greenwich Meridian and 180th meridian form a pair of opposite lines that together define Earth's zero point for both longitude and geographic coordinates worldwide. ✨
#meridian⚡#longitude⚡#navigation⚡#geography⚡#nature⚡#earth
👉subscribe Amazing Geography🌍
🌍 The Greenwich Meridian, which runs through London, is the starting point for measuring longitude. All other longitudes, east or west, are measured from this invisible line. ✨
#longitude⚡#Greenwich⚡#navigation⚡#geography⚡#nature⚡#earth
👉subscribe Amazing Geography🌍