TGTGInsighttelegram intelligenceLIVE / telegram public index
← Python Заметки
Назад кон каналите

TGINSIGHT SIMILAR POSTS

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

Изворен канал @pythonotes · Post #418 · 9 мар.

Погледај објаваПогледај оригинал

Оператор pipe позволяет писать более компактный код, реализуя логику объединения данных (Union). Важно помнить, что его поведение зависит от контекста. Побитовые операции (логическое OR) result = 5 | 3 # 5 (0101) | 3 (0011) = 7 (0111) Самое главное - не путать с оператором or, это другое! Объединение множеств set_a = {1, 2, 3} set_b = {3, 4, 5} set_c = set_a | set_b # {1, 2, 3, 4, 5} set_c |= {5, 6} # {1, 2, 3, 4, 5, 6} Слияние словарей dict_1 = {"a": 1, "b": 2} dict_2 = {"b": 3, "c": 4} merged = dict_1 | dict_2 # {'a': 1, 'b': 3, 'c': 4} merged |= {"d": 5} # {'a': 1, 'b': 3, 'c': 4, 'd': 5} Аннотации типов, заменяет Union def process_data(value: int | str) -> None: print(value) Допустимо использовать в isinstance или issubclass isinstance(3, int | float) # True Паттерн-матчинг status_code = 404 match status_code: case 200 | 201 | 204: print("OK") case 400 | 404 | 500: print("ERROR") Для использования в своих классах требуется переопределить метод __or__ Так же нашел библиотеку pipe которая добавляет еще много возможностей. Рекомендую ознакомиться ;) #basic

Hashtags

#basic
Резултати

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

Пребарај: #haskell

当前筛选 #haskell清除筛选
宇宙航海誌

@uchuukoukaishi · Post #368 · 31.07.2023 г., 13:36

Најди сличноПогледај

今天下午碰到一个并发问题，之前写的 Haskell 并发代码有考虑不周的地方，在特定情况下会死锁，简化一下是这样的： replicateM_ n_workers . forkIO $ do { -- Worker 线程 doSomethingThatMayFail; signalTSem semaphore; } -- 主线程 waitTSem semaphore 如果 doSomethingThatMayFail 抛异常导致线程挂了，那么 signal 就 unreachable，于是主线程会卡住。而 GHC 直接检测到了这个问题并在主线程（比较及时地）抛出了 BlockedIndefinitelyOnSTM 异常。 有点好奇是怎么实现的，于是读了一下 GHC，目前初步的理解是：Haskell 中的线程本身是一个会被 GC 的堆分配对象，当前线程 block 时这个线程会被放到 TVar 的 wait queue 里。如果 TVar 被 GC 了，那么这个线程本身也就 unreachable 了（线程本身并不是 GC root），会被 mark 掉。GC 过程中，如果发现某个 thread 是 unreachable 的，那么在最后关头会调用一个叫 resurrectThreads 的函数（Schedule.c），这个函数会检查线程状态对象的 "why_blocked" 字段，如果是 BlockedOnSTM（在 park 的时候设置的），那么就会在这个线程里抛出一个 BlockedIndefinitelyOnSTM 异常(相应地，其他 block 理由也会有其他种类的异常抛出)。 这个机制不使用任何 timer，并且一旦抛出异常就是真的发生 deadlock 了。缺点大概是不 complete ，比如用一个 StablePtr 维持住线程对象的命，就可以 hang forever 了。 #haskell

Hashtags

#haskell
每日 AWESOME 观察

@awesomeopensource · Post #88 · 29.03.2018 г., 05:42

Најди сличноПогледај

​​xmonad xmonad 是一种窗口管理器（window manager），用来管理软件窗口的位置和大小，会自动在桌面上平铺（tiling）窗口。xmonad 的所有操作都通过键盘，只适合命令行的重度用户。 语言：#Haskell 分类：#窗口管理器

Hashtags

#haskell#窗口管理器