Size: a a a

PureScript — русскоговорящее сообщество

2018 December 27

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
где-то бесконечный цикл 😂
похоже тут
listener ← eventListener' \_ → send ("!hi!" <> User.toString me) *> listen


upd: в общем проблема была в моём костыле с unsafeCoerce, нужно было просто запустить свою монаду и запустить launchAff_,  чтобы добраться до Effect, ничего сложного
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Kirill Valyavin
Всё оказалось слишком просто. Вот и думай теперь, что вечером делать
это ты про что?
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Я пытался понять, что за zipCata и зачем оно здесь
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Kirill Valyavin
Я пытался понять, что за zipCata и зачем оно здесь
ката для 2-х структур (параллельно проходимся по обоим)
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Так я и понял. Но только там в итоге всё равно нужно выбрать какую-то структуру данных, например, список
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Kirill Valyavin
Так я и понял. Но только там в итоге всё равно нужно выбрать какую-то структуру данных, например, список
можно по двум разным идти, как для elementAt
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Если хочется писать как показал товарищ, надо несколько траверсалов слепить в один
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Причём в один такой, чтобы он работал эквивалентно списку
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Чтобы результат не отличался от цепочки вложенных for_
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
какой-то Compose (Compose ... )
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
есть еще вопрос про состояние,
мне не очень понятно как быть в случае, если у меня что-то такое:
https://github.com/vyorkin-play/chat-api/blob/c6cd2952ce95596f9a9e54eba40f1b55fb406743/chat-web/src/Env.purs#L34
т.е. есть Ref (Array Message), я его постоянно обновляю вот тут:
https://github.com/vyorkin-play/chat-api/blob/c6cd2952ce95596f9a9e54eba40f1b55fb406743/chat-web/src/AppM.purs#L170
начинается весь этот процесс после подключения, вот тут:
https://github.com/vyorkin-play/chat-api/blob/c6cd2952ce95596f9a9e54eba40f1b55fb406743/chat-web/src/Page/Welcome.purs#L85
ну и хочу показывать сообщения вот тут
https://github.com/vyorkin-play/chat-api/blob/c6cd2952ce95596f9a9e54eba40f1b55fb406743/chat-web/src/Page/Room.purs#L72
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
вопрос в том, что мой компонент сейчас не имеет никакой возможности узнать о том, что этот список изменился
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
есть, конечно, вариант передавать какой-то коллбек в connect, но мб есть идеи по-лучше?
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
есть, конечно, вариант передавать какой-то коллбек в connect, но мб есть идеи по-лучше?
frp?)
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
я вероятно что-то делаю просто совсем не правильно
у меня просто не должно было возникнуть такой проблемы
я думаю убрать список сообщений из глобального состояния
он нужен только в 1 месте, буду давать callback в connect, а список сообщений перенесу в состояние того компонента, где он нужен
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
не понятно как сделать инстанс для HalogenM если нужен коллбэк типа a -> m Unit

class Monad m <= Hub m where
 connect ∷ (Message → m Unit) → User → m Unit

-- так не канает

instance hubHalogenM ∷ Hub m ⇒ Hub (HalogenM s f g p o m) where
 connect cb = lift ∘ connect cb

ошибка:

  Could not match type
   HalogenM s0 f1 g2 p3 o4 m5
 with type
   m5
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
HalogenM <<< liftF <<< Lift <<< connect?
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
тоже не получается, пытаюсь понять что это за Lift & liftF, впервые встречаю
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
тоже не получается, пытаюсь понять что это за Lift & liftF, впервые встречаю
один из HalogenF второй из Free
источник