Что нового добавили в 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
Un día como hoy, hace 80 años, el Ejército Soviético liberó los prisioneros del campo de concentración y exterminio Auschwitz-Birkenau
Auschwitz-Birkenau fue el mayor campo de concentración y exterminio nazi durante la Segunda Guerra Mundial. Establecido en 1940 cerca de la ciudad polaca de Oświęcim (en alemán, Auschwitz), se convirtió en un símbolo del Holocausto.
Auschwitz II-Birkenau fue el lugar donde más de 1,1 millones de personas, en su mayoría judíos, fueron asesinadas. También murieron prisioneros de guerra soviéticos, polacos, gitanos y otras minorías perseguidas por el régimen nazi.
El 27 de enero de 1945, el campo fue liberado por el Ejército Soviético. Desde entonces, Auschwitz-Birkenau se ha convertido en un importante lugar de memoria y educación sobre los horrores del Holocausto y las atrocidades de la Segunda Guerra Mundial.
#polonia#segundaguerramundial#rusia#unionsovietics#Auschwitz#holocausto#rusosenchile
¡Únete a una aventura espacial sin precedentes! 🚀🎥
La Casa de Cultura de Rusia y La Corporación Cultural Las Condes te invitan a disfrutar de la primera película de ficción rodada en la Estación Espacial Internacional: "El Desafío".
Sigue la emocionante historia del cosmonauta Oleg Ivanov, que necesita una cirugía cardíaca en gravedad cero.
No te pierdas esta oportunidad única de ver cómo la ciencia y el cine se unen en una aventura espacial inolvidable.
📅 Fecha: 11 de enero
🕐 Hora: 21.30
📍 Lugar: Parque Araucano
Más información: @culturallascondes
¡Reserva tu lugar y prepárate para despegar hacia una aventura espacial sin límites! #rusia#rusosenchile#cineruso#lascondes#festivaldecinelascondes#parquearaucano#corporacionculturallascondes
El brillo de las luces y el tintineo de las copas de champán. En Santiago se celebró un baile siguiendo las mejores tradiciones de la corte imperial.
En el salón de la sociedad «Círculo Ruso» se reunieron más de 60 invitados: damas y caballeros con elegantes trajes .
La velada comenzó con un majestuoso polonesa que, al igual que en las asambleas de la época de Pedro el Grande, marcó el tono de toda la noche.
Las parejas llenaron luego la pista al ritmo del pas d’Espagne, la cuadrilla moscovita, el galope y el vals vienés.
«Este tipo de encuentros no solo son una celebración, sino también una oportunidad para fortalecer nuestra diáspora y acercar la cultura e historia rusa a los chilenos», destacó Nina Milovidova, directora de la Casa Rusa en Chile.
El baile, organizado por KSORS y la Casa Rusa en Santiago, ya es una tradición consolidada que, en su tercera edición, reunió tanto a la comunidad local como a la de habla rusa.
#gala#ñuñoa#santiago#rusos#rusosenchile#cursorusochile#бал#чили#россия