ну сначала проверить зажевываются ли

вообще странно если это сгенерированное сервантом код то не должны

И как их отловить, если они зажевываются?

яб форснул явно шаги для начала, через evaluate

у серванта тоже есть тикет про ленивость, для сервера правда

ClientM это ExceptT IO

ну Handler тоже

если оно там все сверхленивое, то и deleteMessages незачем выполняться

хотя у меня нигде подобное поведение не наблюдается

а зачем вообще существует ленивое IO?

итеративность бесплатно

lazy IO тут вроде непричём

но поведение выше это не ленивое IO

ленивое IO это readFile

например

когда ты получаешь на выходе "строку" а по факту читаешь файл по надобности

ленивую "строку"

да

слушайте, а если я вызываю FFI функцию, которая внутри запускает свой event loop и управление назад в хаскель не отдает, ее можно как-то прибить асинхронным исключением из другого потока?

можно знаешь что?

@maksbotan есть interruptible

что interruptible?

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ffi-chap.html#interruptible-foreign-calls

посмотри как это там сделано

вообще чаще у event_loop есть свой API

ну у меня такой код withAsync foo $ \t -> link t runUI

хочется, чтобы когда foo кидал исключение, runUI бы умирал

для этого я вписал link

но не работает, потому что runUI вызывает FFI, из которого нет возврата

можно запустить свой хендлер, который вызовет exit евент лупа если foo сдох...

что лучше, это или сделать interruptible?

зависит от того, что там в runUI

QCoreApplication.exec там

после всяких настроек

я ну буду читать их свойства, я не знаю как оно будет реагировать на сигнал

если умирать, то interruptible - ok

поэкспериментирую

QCoreApplication.exec там

Какие-то свежие биндинги?

qtah

не свежий, давно уже вроде

qtah отлично работает, только сырой

QCoreApplication.exec надо прерывать соответствующими ему способами. qApp->exit или как там его

не свежий, давно уже вроде

>Fri Sep 7 вроде свежий

QCoreApplication.exec надо прерывать соответствующими ему способами. qApp->exit или как там его

^ вот это вот

ну это последняя версия

я просто не знаю, что там есть, чего нету

ну там есть

но надо думать как прокинуть все куда надо...

причём QCoreApplication.exit можно вызывать из любой нити, если я правильно помню. но лучше доку проверить

было бы странно если не из любой

т.к. у тебя после runUI нету контроля

ну предполагается, что ты вызовешь его в главном треде по клику кнопки, например

было бы странно если не из любой

Qt построен вокруг идеи, что весь GUI работает в главном треде, а для сложной работы запускай воркеров сам

ну кроме как из других ты не можешь вызвать ниоткуда .exit()

т.к. у тебя после runUI нету контроля

Qt писали одни люди, runUI другие, нельзя быть уверенным, что они друг друга правильно поняли

+

ну кроме как из других ты не можешь вызвать ниоткуда .exit()

почему же? из хэндлеров внутри exec можно

ок, принято

нефиг гадать, надо почитать доки. а в них не сказано, что thread-safe, значит, лучше не вызывать exit напрямую. более того, сказано, что лучше вызывать exit как слот по сигналу через QueuedConnection, таким образом гарантируется передача управления в нужную нить и корректное завешение других сигналов

ну вот этого я вряд ли могу добиться

(доки читал)

ну вот этого я вряд ли могу добиться

в какой части?

в части queued connection

в части queued connection

а в чём проблема?

ну так чтобы сделать connection, нужен сигнал

не можешь вызвать connect?

а мне надо по эксепшену убить, а не по сигналу

ну, есть хак без сигнала

QMetaObject::invokeMethod(app, "quit", Qt::QueuedConnection);

QMetaObject::invokeMethod(app, "quit", Qt::QueuedConnection);

простите, не знаю, как это на Хаскеле выглядит

осталось посмотреть, есть ли QMO в кутахе :)

и добавить, если нет

а мне надо по эксепшену убить, а не по сигналу

так в хэдлере эксепшена сигнал слать

и добавить, если нет

само собой

(я в сентябре туда еще один пр пропихнул)

т.е. делаешь тред с exception handler и в finally прибиваешь тред

например: lock <- newEmptyMVar () race (runUI) (takeMVar lock `finally` sendSignal)

@qnikst есть где норм гайд по new командам кабала?

на read-the-docs

https://cabal.readthedocs.io/en/latest/

Спасибо