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

TGINSIGHT SIMILAR POSTS

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

Изворен канал @pythonotes · Post #402 · 22 дек.

Отдельно разберём TaskGroup, который пришел на замену gather в Python 3.11. Ключевые отличия ▫️create_task() возвращает объект asyncio.Task, у которого есть соответствюущие методы управления. То есть у нас больше контроля ▫️это контекстный менеджер, который гарантирует что все таски будут остановлены по выходу из контекста ▫️ошибка автоматически отменяет незавершенные задачи, ▫️except* передает нам ExceptionGroup, в котором каждую ошибку можно обработать отдельно import asyncio import random async def do_it() -> str: if random.random() < 0.1: raise ValueError('Oops') delay = random.uniform(0.5, 1.5) await asyncio.sleep(delay) return delay async def main(): try: async with asyncio.TaskGroup() as tg: for _ in range(10): tasks.append(tg.create_task(do_it())) for t in tasks: print(t.result()) except *ValueError as e: for err in e.exceptions: print(err) asyncio.run(main()) Рекомендую изучить страницу Coroutines and Tasks из документации, где представлено больше интересных примеров и механизмов - таймауты - отмена задач - создание задач из другого потока #async

Hashtags

Резултати

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

Пребарај: #meaningoflife

当前筛选 #meaningoflife清除筛选

#无聊#创造力#数字戒断#心理健康#幸福感#生命意义#默认模式网络#屏幕时间#快乐 #Boredom#Creativity#DigitalDetox#MentalHealth#Wellbeing#MeaningofLife#DefaultModeNetwork#ScreenTime#Happiness Why boredom is essential for your mental wellbeing Boredom is crucial for mental well-being, as it activates the brain's default mode network (0:24-0:26), fostering self-reflection and a sense of meaning (1:19-1:28). Constantly avoiding boredom with devices, like phones (1:50-2:07), prevents this vital process, contributing to depression and anxiety (2:26-2:40). To counter this, the video recommends embracing boredom by: Avoiding devices during workouts and commutes (2:47-3:06). Implementing device-free times, such as evenings or meals (3:53-4:07). Taking regular social media breaks (4:12-4:18). By doing so, individuals can find greater meaning, happiness, and engagement in their lives (3:27-3:39).