Size: a a a

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

2019 May 28

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
у меня сложная структура изначально была и компилятор начал выдавать ошибки, где одинаковые типы с одинаковыми констрейнтами для него не совпадали, пробую минимизировать
источник

p

parket in PureScript — русскоговорящее сообщество
Type Foo a = Show a => a , например - очень странный тип. Я не представляю, что бы это могло значить.
источник

VY

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

p

parket in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
короче я уже полчаса сижу и ничего не понимаю
Что не понимаешь?
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
что ему надо возвращать, чтобы он вызвал эту ф-цию отписки наконец
источник

p

parket in PureScript — русскоговорящее сообщество
Т.е. по next H.Done не вызывается?
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
нет, т.е да, но не так, чего-то нехватает
источник

p

parket in PureScript — русскоговорящее сообщество
Вот! Это оно. Я, собственно, об этом же. Ну, вроде всего хватает.
источник

VY

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

p

parket in PureScript — русскоговорящее сообщество
Похоже на багло в галогене. Я сегодня половину кода фреймворка перелопатил, не смог найти где бы canceler мог вызываться. Похоже, что его просто забыли вызвать.

Например, здесь.

https://github.com/slamdata/purescript-halogen/blob/v4.0.0/src/Halogen/Aff/Driver/Eval.purs#L86
источник

VY

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

p

parket in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
да, так и есть, done нигде не вызывается, только удаляется подписка. либо я чего-то не понимаю. потому что странно, что это никто до сих пор не обнаружил
В этом и есть cуть моего вопроса ;)
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
parket
Type Foo a = Show a => a , например - очень странный тип. Я не представляю, что бы это могло значить.
Этот странный, а `type ShowableList a = Show a => List a` почему странный?
источник

VY

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

p

parket in PureScript — русскоговорящее сообщество
Anton Kotenko
Этот странный, а `type ShowableList a = Show a => List a` почему странный?
Вряд ли я смогу объяснить.
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Где-то можно почитать, почему это неправильно?
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Потому что использую тайпкласс как интерфейс?
источник

λ

λоλторт in PureScript — русскоговорящее сообщество
Anton Kotenko
Где-то можно почитать, почему это неправильно?
объясни пожалуйста, что этот тип вообще должен значить? В пурсе так можно?
источник

λ

λоλторт in PureScript — русскоговорящее сообщество
После хаскеля кажется, что это конструкция лишённая смысла
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
λоλторт
объясни пожалуйста, что этот тип вообще должен значить? В пурсе так можно?
Можно
источник