AK
Я правильно понимаю, что это тип заглушка с единственным конструктором. И интересует в нём только параметр типа?
Size: a a a
2021 July 08
ЗП
да, это фантомный тип
ЗП
в моем случае я скрываю каинды
ЗП
в сигнатуре если не Type, а некий каинд k, то в теле его надо скрыть через Proxy
ЗП
ну и вариант высших рекурсивных схем)
заметьте тут gadt на уровне типов и он работает без всяких лейбницев и экзистенциалов
https://try.purescript.org/?gist=cdc576b0b6be882efae1776c018c1fb4
заметьте тут gadt на уровне типов и он работает без всяких лейбницев и экзистенциалов
https://try.purescript.org/?gist=cdc576b0b6be882efae1776c018c1fb4
SO
круто чё 🤟
ЗП
конечно на хаскель через семейства прикольней (есть и этот вариант, могу выложить)
ЗП
еще тут идея дефункционализации, один тайпкласс, а вся остальная семантика описывается просто структурами
2021 July 10
AK
есть структура компонентов в Halogen, добавил на верхнем уровне подписку на мышь в
В результате слоты внутри дочернего компонента сбрасываются на каждое движение мыши. Подписываешься на клик, а не на движение — сбрасываются при клике.
initialize, как тут написано: https://purescript-halogen.github.io/purescript-halogen/guide/04-Lifecycles-Subscriptions.html#using-event-listeners-as-subscriptionsВ результате слоты внутри дочернего компонента сбрасываются на каждое движение мыши. Подписываешься на клик, а не на движение — сбрасываются при клике.
AK
Это может быть потому, что в дочернем компоненте они инициализируются в
initialState?AK
Хм, и если не менять стейт в
HandleMouse при существующих подписках, то всё норм.AK
Но не должно же изменение стейта (не той части, которая влияет на дочерний (
Unit) слот, в котором другие (Int) слоты) триггерить initialState дочернего?AK
А, у дочернего был
receive из примеров, убрал, стало нормSO
А подписку получается можно отменить только после первого события?
SO
Я не использовал халоген, какой-то страшный код. Но в PS любят страшный код.
p
В 5 вроде нет.