агааа

это я pulp не обновил

спасибо, всё решилось!

\m/

@shamansir Привет, тоже беру в прод Purescript, получилось настроить докер в итоге?

Со spago и psc-package не получилось (у меня есть пакеты не из сетов), с `bower`-ом вышло.

Могу пример скинуть

Никак не разберусь с импортом изображений

Есть у кого то пример с настроеным с пурс проектом вебпаком?

Ещё раз вопрос про Union-типы и forall.

Допустим, есть такой тип:

data X 
     = Var1 (Int -> Effect Unit)
    | Var2 (String -> Effect Unit)
    | Var3 (forall st. Tuple st (st -> Effect st))

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

Tuple <изначальное состояние> (<предыдущее состояние> -> Effect <следующее состояние>)

Пытаюсь написать хэндлер для подобного типа, но мне компилятор пишет The type variable st has escaped its scope в любом случае, где участвует Effect. Обработчик работает с st только внутри и не "возвращает" его наружу.

Вопрос: Я продолжаю неправильно понимать forall.? Мне кажется, в этом месте я сообщаю, что st будет в пределах "вызова" функции одинаков и этой гарантии должно быть достаточно.

data X 
     = Var1 (Int -> Effect Unit)
    | Var2 (String -> Effect Unit)
    | Var3 (forall st. Tuple st (st -> Effect st))

может ты хочешь exists?

Может быть, кажется как в прошлый раз, да. Но всё ещё не до конца понимаю разницу видимо.

Допустим, я хочу перегнать проект на пурскрипт. Он на реакте и я хочу переиспользовать максимально что есть. Для этого мне нужны реактовские биндинги. Если я ими обвяжу имеющийся код, что я потом смогу делать в самом пурскрипте? Я буду привязан к UI-либам, которые строятся на тех же биндингах к реакту, типа Thermite? Смогу ли я использовать совместно с этим, например, Halogen?

Вот в Lumi (где Фил работает), они используют просто https://github.com/lumihq/purescript-react-basic и вот это https://github.com/lumihq/purescript-lumi-components/ (https://www.lumi.dev/blog/announcing-lumi-components). Я думаю ничего не помешает использовать халоген вместе (если вообще в этом есть смысл, боюсь представить размер жс-бандла совокупный)

> Я буду привязан к UI-либам, которые строятся на тех же биндингах к реакту
Ну да, если захочется чего-то (какие-то реактовые либы готовые пользовать), то придётся писать свои биндинги к этому на react-basic. Но и с халогеном почти такая же история, т.е. если хочется, например, ace editor, то пишется что-то типа того https://github.com/slamdata/purescript-ace-halogen/blob/master/src/Ace/Halogen/Component.purs

Меня больше интересует соединимость реактовского виртуального DOM с чем-то другим

Но вообще да, я посмотрел, и похоже, что у меня особо нет выбора, потому что у Lumi единственная приличная готовая библиотека с компонентами, по всей видимости

есть ещё у citizennet или как их там, для халогена
https://github.com/citizennet/purescript-ocelot

Да, оно мне как-то не показалось, ну его

Короче, вопрос тогда в том, можно ли что-нибудь прикрутить поверх react-basic, чтобы было модное FRP или вроде того