A64m
а на официальной кабальной странице до сих пор 2.0
A64m
у гхц наоборот, на официальной странице новый мануал а на рид зе докс тухлый
A64m
ну, это все же получше, чем у кабала
A64m
> 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
A64m
вчера еще тут ссылку оставлял
Алексей
А можно внутри *.cabal определиь собирается ли пакет GHC или GHCJS?
Алексей
Можно if impl(ghcjs)
A64m
его же небось надо для этого билдить весь, так что не получится, я думаю
A64m
там ghc-апи используется вроде
Andrei
да, надо билдить
Andrei
видимо, только рядом с самим hackage
Зигохистоморфный
не могу понять как хоть локально для какого-то пакета запустить это
Andrei
https://github.com/alexwl/haskell-code-explorer#indexing-source-code-of-a-cabal-package
Vasiliy
а кто-нибудь знает, как вообще делаются вещи типа экселя?
ну т.е. как я себе это представляю: есть граф, который нужно разрешить, начиная от листьев. вершины графа это ячейки таблицы. реактивность не нужна, тк разрешить его нужно лишь единожды (данные графа никогда не меняются). т.е. "при разрешении" очередной ячейки нужен доступ ко всем уже разрешенным ячейкам. тут нужен какой-то хистоморфизм?
Vasiliy
мб есть какое-то общеизвестное сокровенное знание, с которым нужно познакомиться и все станет понятно? я думаю решение это проблемы должно быть довольно широкоизвестным, задача такая изученная и распространенная
Зигохистоморфный
вот что на место этого PATH?
haskell-code-indexer --package PATH --dist (stack path --dist-dir)
A64m
вообще-то в экселе адреса ячеек вычисляемые
Vasiliy
да, поэтому это не совсем эксель
дело в том, что таблица строится в настоящем экселе и с некоторой надстройкой, а мне нужно лишь отобразить результат, "разрешив" ячейки. в процессе резолва ячеек могут выполняться побочные эффекты в виде запросов ко внешним источникам данных
Kirill
Kirill
локально
Kirill
ему нужна папка dist как минимум к тому же
Kirill
и оно ещё с кабалом выше 2.0 не дружит пока
Alexander
там dependency solver описан
Vasiliy
спасибо
нашел еще https://www.youtube.com/watch?v=BQVT6wiwCxM
попробую врубиться
Alexander
есть статья PDF
Alexander
там алгоритм подробно описан
Vasiliy
ага, нашел, читаю
Зигохистоморфный
https://www.microsoft.com/en-us/research/uploads/prod/2018/03/build-systems.pdf
Alexander
но это действительно нужно только для INDIRECT
Alexander
без него key value ячеек с зависимостями да и пробежаться по нему
Alexander
ну или другое представление графа и просто пройтись по нему
Vasiliy
да, у меня ячейка может зависеть от ячейки, которая зависит от другой ячейки, которая зависит еще от N ячеек, и причем разрешать такой граф нужно в определенной последовательности, вероятно, решая сначала "алгебраические" ячейки (которые не зависят от внешних источников данных) итп. единственное, что облегчает задачу это отстутствие реактивности, но и это условие потом уберется, вроде как. возможно, мне стоит задуматься сейчас и об этом
Alexander
да, не, просто идёшь и собираешь все
Alexander
максимум на циклы проверяешь
Зигохистоморфный
да, у меня ячейка может зависеть от ячейки, которая зависит от другой ячейки, которая зависит еще от N ячеек, и причем разрешать такой граф нужно в определенной последовательности, вероятно, решая сначала "алгебраические" ячейки (которые не зависят от внешних источников данных) итп. единственное, что облегчает задачу это отстутствие реактивности, но и это условие потом уберется, вроде как. возможно, мне стоит задуматься сейчас и об этом
так это обычное выражение, где есть связанные и свободные переменные
Alexander
проблема в INDIRECT
Alexander
это когда ты зависишь от ячейки являющейся результатом вычисления
Vasiliy
да, у меня такое
Alexander
там может возникать цикл или нестабильность
Alexander
это единственная проблемная команда в excel
Alexander
т.е. 5+INDIRECT(A3 & B5) например
Vasiliy
а, блин, я не понял сначала
Alexander
@PineappleZombie у нас с ней намучался
Alexander
без этого все просто идёшь по графу и собираешь записимости
Зигохистоморфный
@qnikst насколько я помню у Стефана Диля был проект похожий на excel, там тоже ячейки были
Vasiliy
мне бы пример какой) я так понял что читать build systems la carte уже не актуально? там что-то более сложное описывается?
Alexander
был
Alexander
ну у нас 2/3 excel есть но это closed source
Alexander
...Тем временем Free-монады идут в блокчейн:
https://medium.com/@ENQBlockchain/why-haskell-eacb087f3adb
Alexander
более сложное
Alexander
туда где mtl и прочий tagless уже давно
Anonymous
мне бы пример какой) я так понял что читать build systems la carte уже не актуально? там что-то более сложное описывается?
У Одерского в книжке Programming in Scala есть глава про Spreadsheet
Зигохистоморфный
ну тогда и у Гонзалеса есть
Зигохистоморфный
https://github.com/Gabriel439/Haskell-Typed-Spreadsheet-Library
Anonymous
👍
Зигохистоморфный
кстати в пурсе это https://github.com/sharkdp/purescript-flare
Vasiliy
спасибо! разбираюсь
Зигохистоморфный
кстати есть еще такой интересный проект
https://github.com/sharkdp/purescript-sparkle
Ilya
да, у меня ячейка может зависеть от ячейки, которая зависит от другой ячейки, которая зависит еще от N ячеек, и причем разрешать такой граф нужно в определенной последовательности, вероятно, решая сначала "алгебраические" ячейки (которые не зависят от внешних источников данных) итп. единственное, что облегчает задачу это отстутствие реактивности, но и это условие потом уберется, вроде как. возможно, мне стоит задуматься сейчас и об этом
Вот тут интересно было написано про ячейки эксель https://m.habr.com/post/203800/
Зигохистоморфный
может лучше на оригинал давать ссылку?)
https://github.com/quchen/articles/blob/master/loeb-moeb.md
Зигохистоморфный
и все эти loeb/moeb есть просто обобщение для fix
Зигохистоморфный
но это все еще value level
Alexander
typelevel нужен если таблицу в языке собираешь же
Alexander
иначе или только value или синглетоны
Зигохистоморфный
иначе или только value или синглетоны
ну как бы синглтоны и поднимают value level к type level
Vasiliy
loeb & moeb прям то, что нужно, кажется начинаю понимать что происходит
Зигохистоморфный
а что если представить через Cofree?
Ilya
может лучше на оригинал давать ссылку?)
https://github.com/quchen/articles/blob/master/loeb-moeb.md
Нет, не лучше. Во-первых @haskellru, во-вторых из перевода моментально находится оригинал, но не наоборот
Зигохистоморфный
Нет, не лучше. Во-первых @haskellru, во-вторых из перевода моментально находится оригинал, но не наоборот
тогда надо было написать, вот тут я перевел статью
Ilya
тогда надо было написать, вот тут я перевел статью
Там всё написано в шапке перевода, даже три раза
Alexander
ну как бы синглтоны и поднимают value level к type level
ну как бы я именно по этому и написал про синглетоны
Anonymous
@chuckis будет жить. Поприветствуем!
Зигохистоморфный
https://www.fpcomplete.com/blog/2018/10/resourcet-necessary-evil
Anonymous
@d_krasilnikov будет жить. Поприветствуем!
Anonymous
@nkhodyunya будет жить. Поприветствуем!