MK
Может race из пакета async поможет?
Size: a a a
2020 July 02
AV
Aminion
Как сделать threadDelay, но с возможностью отмены ожидания? В голову приходит сделать две задачи, дилея, и скажем, проверки MVar, ловить первую завершившуюся, но как это реализовать?
registerDealy
A
Может race из пакета async поможет?
хм, выглядит как то что нужно пока, спасибо
AV
cancelled <- newTVarIO False
x <- registerDelay 1000
...
atomically $
asum
[ readTVar x >>= check
, readTVar cancelled >>= check
]
AV
Но check выпилят когда-нибудь, так что надо
\x -> when x retry вместо негоA
хм, или так, да, попробую
AV
если нужно знать отменили или делать действие, то:
join $ atomically $ asum
[ readTVar x >>= check >> pure f
, readTVar cancelled >>= check >> pure (pure ())
]
A
Но check выпилят когда-нибудь, так что надо
\x -> when x retry вместо негопочему выпилият то?
AV
Aminion
почему выпилият то?
У него проблемы с семантикой, он делает больше, чем проверку условия
AV
вообще странно, сейчас реализован так, щас найду тред в треккере
AV
The proposal has been accepted. I will add the appropriate deprecation pragmas in base-4.11.0.0 noting that removal will happen in three releases (presumably GHC 8.10).
AV
а не только always и alwaysSucceeds убрали, check остаётся
JS
check = guard, судя по исходникам
JS
Если Haskell полностью преобразуется в форму лямбда исчисления,то как преобразуется такой кусок кода?
это будет
?мне интересно именно как конструкция "let in" раскрывается
func a =
let b = a * 2 in
let c = b * 3 in
(b + c, b - c)это будет
func = \a ->
((a * 2) + (b * 3), (a * 2) - (b * 3))?мне интересно именно как конструкция "let in" раскрывается
(let b = a * 2 in foo) = (\b -> foo) (a * 2)JS
хотя это простейший случай
а
(let b = a * 2 in foo) = (\b -> foo) (a * 2)а,ну да : )