TGTGInsighttelegram intelligenceLIVE / telegram public index
← Python Заметки

TGINSIGHT SIMILAR POSTS

Најди сличен содржај

Изворен канал @pythonotes · Post #424 · 13 апр.

Стандартная библиотека asyncio это стандарт (начиная с Py3.4) для работы с асинхронным кодом. Но эта библиотека достаточно низкоуровневая, со своими проблемами, устаревшими подходами. Чтобы исправить это, были созданы разные обертки и альтернативы с реализацией популярных инструментов и паттернов асинхронного программирования. Это такие библиотеки как: - trio: улучшает корректность выполнения, не оставляя потерянных корутин при ошибках, то есть предлагает Structured Concurrency из коробки. - curio: упрощение синтаксиса и читаемости кода, больше похоже на работу с потоками. - anyio: универсальная обертка над asyncio или trio плюс множество вспомогательных инструментов. anyio используется в FastAPI как основная библиотека для работы с асинхронным кодом и вызовом синхронного кода из асинхронного. В общем, рекомендую почитать про возможности anyio, возможно вы более не будете использовать чистый asyncio в своих проектах) Это совсем не значит что дефолтный asyncio плох, он тоже даёт достаточный для работы функционал и продолжает развиваться. Например, в версии 3.11 появились TaskGroup, с похожим на trio функционалом. Так что он тоже актуален, просто придется больше написать кода самостоятельно. #libs#async

Hashtags

Резултати

Пронајдени 7 слични објави

Пребарај: #fathersday

当前筛选 #fathersday清除筛选

Сегодня, 19 октября, отмечается День отца, который является одним из самых молодых официальных праздников. Этот день посвящён важной роли отца в семье, его вкладу в воспитание детей и ответственности за благополучие и безопасность близких. Семейные ценности являются фундаментом будущего страны. Отцовство — это ежедневный труд, который служит примером мужества, надёжности и защиты для детей. Инициатива учреждения Дня отца была предложена летом 2021 года депутатом Госдумы от «Единой России» и заслуженным артистом России Денисом Майдановым. Сегодня «Единая Россия» организовывает праздничные мероприятия по всей стране в честь Дня отца. Активисты проводят акции по посадке деревьев на аллеях отцов, организуют беседы со школьниками о роли отца, а также онлайн-выставки «Я и папа» и фотовыставку «Четыре поколения». Кроме того, работают зоны мастер-классов по столярному, токарному и автомобильному делу, где отцы смогут поделиться своими знаниями и навыками с детьми. Активисты Молодой Гвардии «Единой России» в честь праздника посетят и поздравят многодетных отцов и участников СВО. #ЕдинаяРоссия#ДеньОтца ———— Today, on October 19, Father's Day is celebrated, which is one of the youngest official holidays. This day is dedicated to the important role of the father in the family, his contribution to the upbringing of children and responsibility for the well-being and safety of loved ones. Family values are the foundation of the country's future. Fatherhood is a daily job that serves as an example of courage, reliability and protection for children. The initiative to establish Father's Day was proposed in the summer of 2021 by Denis Maydanov, a State Duma deputy from United Russia and an Honored Artist of Russia. Today, United Russia is organizing festive events across the country in honor of Father's Day. Activists are planting trees in fathers' alleys, organizing talks with schoolchildren about the role of the father, as well as online exhibitions "Me and Dad" and a photo exhibition "Four Generations". In addition, there are master class areas in carpentry, turning and automotive, where fathers will be able to share their knowledge and skills with their children. Activists of the Young Guard of United Russia will visit and congratulate fathers with many children and members of their military community in honor of the holiday. #UnitedRussia#FathersDay

🎉С Днём отца, Южная Африка! 🧔‍♂️💙 В третье воскресенье июня в ЮАР поздравляют пап с их праздником. Пусть отцовская забота, сила и любовь вдохновляют новые поколения! 🇿🇦 #ДеньОтца#ЮАР#Семья#Праздники#Отцы ___________________ 🎉Happy Father’s Day, South Africa! 🧔‍♂️💙 On the third Sunday of June, South Africa celebrates dads and all they do. Wishing strength, love, and joy to fathers across the country! 🇿🇦 #FathersDay#SouthAfrica#Family#Fatherhood#Celebration

Desi Memes Funny Jokes

@desi_memes_funny_jokes · Post #5346 · 30.09.2024 г., 12:40

After me and my sister's fight #cartoon#family#comedy#television#sitcom#animation#hindimemes#cartoon#memes#communitylove#connectwithcommunity#humor#sisterlove#fathersday#fatherdaughter

Desi Memes Funny Jokes

@desi_memes_funny_jokes · Post #4970 · 07.07.2024 г., 09:46

After me and my sister's fight #cartoon#family#comedy#television#sitcom#animation#hindimemes#cartoon#memes#communitylove#connectwithcommunity#humor#sisterlove#fathersday#fatherdaughter