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/

Спасибо

а на официальной кабальной странице до сих пор 2.0

у гхц наоборот, на официальной странице новый мануал а на рид зе докс тухлый

ну, это все же получше, чем у кабала

> Hi Oliver, unfortunately your form was misinterpreted and your talk was not recorded. We're very sorry about this, and are changing our procedures to avoid this happening in the future. некоторые выступления были по недоразумению записаны, процедура будет изменена, все будет как в 2013

https://haskell-code-explorer.mfix.io/ https://github.com/alexwl/haskell-code-explorer

вчера еще тут ссылку оставлял

А можно внутри *.cabal определиь собирается ли пакет GHC или GHCJS?

Можно if impl(ghcjs)

вчера еще тут ссылку оставлял

интересно как весь хакедж проиндексировать?

его же небось надо для этого билдить весь, так что не получится, я думаю

там ghc-апи используется вроде

да, надо билдить

видимо, только рядом с самим hackage

не могу понять как хоть локально для какого-то пакета запустить это

https://github.com/alexwl/haskell-code-explorer#indexing-source-code-of-a-cabal-package

а кто-нибудь знает, как вообще делаются вещи типа экселя? ну т.е. как я себе это представляю: есть граф, который нужно разрешить, начиная от листьев. вершины графа это ячейки таблицы. реактивность не нужна, тк разрешить его нужно лишь единожды (данные графа никогда не меняются). т.е. "при разрешении" очередной ячейки нужен доступ ко всем уже разрешенным ячейкам. тут нужен какой-то хистоморфизм?

мб есть какое-то общеизвестное сокровенное знание, с которым нужно познакомиться и все станет понятно? я думаю решение это проблемы должно быть довольно широкоизвестным, задача такая изученная и распространенная

вот что на место этого PATH? haskell-code-indexer --package PATH --dist (stack path --dist-dir)

а кто-нибудь знает, как вообще делаются вещи типа экселя? ну т.е. как я себе это представляю: есть граф, который нужно разрешить, начиная от листьев. вершины графа это ячейки таблицы. реактивность не нужна, тк разрешить его нужно лишь единожды (данные графа никогда не меняются). т.е. "при разрешении" очередной ячейки нужен доступ ко всем уже разрешенным ячейкам. тут нужен какой-то хистоморфизм?

почему единожды?

вообще-то в экселе адреса ячеек вычисляемые

да, поэтому это не совсем эксель дело в том, что таблица строится в настоящем экселе и с некоторой надстройкой, а мне нужно лишь отобразить результат, "разрешив" ячейки. в процессе резолва ячеек могут выполняться побочные эффекты в виде запросов ко внешним источникам данных

вот что на место этого PATH? haskell-code-indexer --package PATH --dist (stack path --dist-dir)

путь до твоего покета

путь до твоего покета

пакета где?

локально

ему нужна папка dist как минимум к тому же

и оно ещё с кабалом выше 2.0 не дружит пока

а кто-нибудь знает, как вообще делаются вещи типа экселя? ну т.е. как я себе это представляю: есть граф, который нужно разрешить, начиная от листьев. вершины графа это ячейки таблицы. реактивность не нужна, тк разрешить его нужно лишь единожды (данные графа никогда не меняются). т.е. "при разрешении" очередной ячейки нужен доступ ко всем уже разрешенным ячейкам. тут нужен какой-то хистоморфизм?

в build systems la carte почитай

там dependency solver описан

спасибо нашел еще https://www.youtube.com/watch?v=BQVT6wiwCxM попробую врубиться

есть статья PDF

там алгоритм подробно описан

ага, нашел, читаю

https://www.microsoft.com/en-us/research/uploads/prod/2018/03/build-systems.pdf

но это действительно нужно только для INDIRECT

без него key value ячеек с зависимостями да и пробежаться по нему

ну или другое представление графа и просто пройтись по нему

да, у меня ячейка может зависеть от ячейки, которая зависит от другой ячейки, которая зависит еще от N ячеек, и причем разрешать такой граф нужно в определенной последовательности, вероятно, решая сначала "алгебраические" ячейки (которые не зависят от внешних источников данных) итп. единственное, что облегчает задачу это отстутствие реактивности, но и это условие потом уберется, вроде как. возможно, мне стоит задуматься сейчас и об этом

да, не, просто идёшь и собираешь все

максимум на циклы проверяешь

да, у меня ячейка может зависеть от ячейки, которая зависит от другой ячейки, которая зависит еще от N ячеек, и причем разрешать такой граф нужно в определенной последовательности, вероятно, решая сначала "алгебраические" ячейки (которые не зависят от внешних источников данных) итп. единственное, что облегчает задачу это отстутствие реактивности, но и это условие потом уберется, вроде как. возможно, мне стоит задуматься сейчас и об этом

так это обычное выражение, где есть связанные и свободные переменные

проблема в INDIRECT

это когда ты зависишь от ячейки являющейся результатом вычисления

да, у меня такое

там может возникать цикл или нестабильность

это единственная проблемная команда в excel

т.е. 5+INDIRECT(A3 & B5) например

а, блин, я не понял сначала

@PineappleZombie у нас с ней намучался

без этого все просто идёшь по графу и собираешь записимости

@qnikst насколько я помню у Стефана Диля был проект похожий на excel, там тоже ячейки были

мне бы пример какой) я так понял что читать build systems la carte уже не актуально? там что-то более сложное описывается?

был

ну у нас 2/3 excel есть но это closed source

...Тем временем Free-монады идут в блокчейн: https://medium.com/@ENQBlockchain/why-haskell-eacb087f3adb

более сложное