R:
Особенно если надо поверх этого что-то писать, особенно если это надо делать другому человеку
Size: a a a
2020 April 07
KV
Особенно если надо поверх этого что-то писать, особенно если это надо делать другому человеку
Наоборот же, не надо копошиться в этих констрейнтах, просто пишешь код и работает
R:
Либо можно просто нормальные типы написать
KV
Ну ещё можно тупо всё спихать в один тип, стопудово же в одной монаде всё будет запускаться
KV
Какие-то совсем уже дикие отговорки, по-моему
2020 April 08
ЗП
@DoctorRyner
не юзай unsafeCoerce для рекордов по возможности
лучше компилятору докажи в сигнатуре, что такой проперти есть
target :: forall a. { target :: a | _ } -> a
target e = e.targetне юзай unsafeCoerce для рекордов по возможности
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Attributes.purs#L12
лучше компилятору докажи в сигнатуре, что такой проперти есть
ЗП
почему ты закрыл row type? кроме children ничего другого быть не может?
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Engine.purs#L25
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Engine.purs#L25
ЗП
кстати могу пояснить зачем
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Engine.purs#L31
через монадку мы как-бы делаем отложенное вычисление
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Engine.purs#L31
через монадку мы как-бы делаем отложенное вычисление
ЗП
у Митчела было про этот паттерн
ЗП
только
a <- pure xЗП
но это тоже самое, что выше
ЗП
перепиши на свододную монаду, она в пурсе более стековобезопасная
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Html.purs#L13-L18
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Html.purs#L13-L18
p
Ух ты. У вас тут коллективная разработка нового фреймворка?
ЗП
я так, с боку пришел
-
@DoctorRyner, влетел в скалу?) Ты как-то хотел.
R:
Так, я тут, сколько же всего понаписали
ЗП
@DoctorRyner
не юзай unsafeCoerce для рекордов по возможности
лучше компилятору докажи в сигнатуре, что такой проперти есть
target :: forall a. { target :: a | _ } -> a
target e = e.targetне юзай unsafeCoerce для рекордов по возможности
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Attributes.purs#L12
лучше компилятору докажи в сигнатуре, что такой проперти есть
а вообще и это не надо, можно просто
target = _.targetR:
@DoctorRyner
не юзай unsafeCoerce для рекордов по возможности
лучше компилятору докажи в сигнатуре, что такой проперти есть
target :: forall a. { target :: a | _ } -> a
target e = e.targetне юзай unsafeCoerce для рекордов по возможности
https://github.com/DoctorRyner/gimel/blob/master/src/Gimel/Attributes.purs#L12
лучше компилятору докажи в сигнатуре, что такой проперти есть
Я посмотрел как это было сделано в purescript-concur и у себя так же сделал, tee-hee ❤️