Size: a a a

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

2021 October 29

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
Что здесь может обрабатываться только Схема кайнд обджект?
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
я тогда просто не очень понимаю что дает конструкция foreaign import kind если мы не можем использовать их
источник

p

parket in PureScript — русскоговорящее сообщество
Да, написать сможешь. Но пурскрипт не сможет вывести, что надо проматчить только один конструктор, SObject.
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
Чувствую что я против шерсти ща чешу пурс, наверное нужно вообще отказаться что ли от конструкторов
источник

p

parket in PureScript — русскоговорящее сообщество
Зачем тебе это понадобилось?

В чем полезность этой конструкции:

SObject[
   SchemaListItem (SPrimitive(SInt) ageLens),
   SchemaListItem (SPrimitive(SFloat) lenLens),
   SchemaListItem (SObject[..….] fullNameLens)
 ]
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
Хм ну типа генереть формочки
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
по типу
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
https://github.com/jongleb/re-schema-form

Я вот сделал так на рескрипте и хочу сравнить с пурсой
источник

p

parket in PureScript — русскоговорящее сообщество
Не понимаю, что значит "генерить формочки" :)
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
ну имея тип user
получаем вот такое представление его как я описал и без труда по нему выплевыавем поля соответсубщие типу
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
для string = input text
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
для boolean = checkbox
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
ну итд
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
Но там геттер и сеттер чтобы не делать еще и в рантайме упаковывания значений в обычный не gadt тип
ну то есть чтобы не было SInt(Int) | SString(String), гетер и сеттер в гадт позволяет избежать этого
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
потому что на каждый чендж переупаковывать дорогоавто
источник

GP

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

p

parket in PureScript — русскоговорящее сообщество
Все равно ничего не понимаю. В пятницу вечером уже и не хочу :D
источник

ЗП

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

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
Спасибо !
источник
2021 October 30

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
Ну без GADT не обойтись ведь да?
источник