AV
Я так в alphasheets напоролся у меня было аккуратное использование SomeAsyncException
Size: a a a
2020 November 05
AV
Потом коллеги притащили safe-exceptions, типа хорошо и безопасно
AV
Косяки долго выпиливали
KV
Оно ваще ловит асинхронные? Я думал, там вся суть в том, что не ловит
MK
Я так в alphasheets напоролся у меня было аккуратное использование SomeAsyncException
нечего умничать просто
AV
Оно ваще ловит асинхронные? Я думал, там вся суть в том, что не ловит
Она не ловит, но определяет как-то не очень адекватно
AV
нечего умничать просто
Не умничать а делать хорошо, пока библиотеку ещё не изобрели
KV
case ... of SomeAsyncException
как ещё-то
как ещё-то
AV
.. fromAsyncException, надеюсь всё же
AV
fromSomeAsyncException
AV
Переслано от Alexander Vershilov
> All these functions except for
это не правда
catchAsync will not attempt to catch exceptions thrown asynchronously (again, more on that in the chapter on concurrency).это не правда
AV
Переслано от Alexander Vershilov
./1
user error (foo)
import Control.Concurrent
import Control.Exception as Raw
import Control.Exception.Safe as Safe
import Foreign.StablePtr
main = do
m <- myThreadId
lock <- newEmptyMVar
_ <- newStablePtr lock
Safe.catch
(do forkIO $ Raw.throwTo m (userError "foo")
takeMVar lock)
(\e -> print (e::SomeException))AV
Переслано от Alexander Vershilov
Как видишь catch радостно словило асинхронное исключение и ничего не сказало
AV
Переслано от Alexander Vershilov
А вот AsyncException всегда считается асинхронным, даже если брошено синхронно
KV
В хаскеле есть способ отличить способ, которым эксепшен был кинут?
AV
Нет, к сожалению
AV
SomeAsyncException для этого и завели
KV
Ну вот это сейф-эксепшонс и проверяет
AV
И safe-exceptions абосолютно правильно в него заворачивает и использует
AV