Size: a a a

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

2021 September 09

SO

Sash Osh in PureScript — русскоговорящее сообщество
Например у тебя есть сырые данные json {A: "a", "B": "b", "C": "c"} нужно это декодить в какую-то структуру, которая удостоверяет что все значения ключей T там присутствуют, и соответственно может возвращать уже значение без Maybe
источник

ЗП

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

ЗП

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

SO

Sash Osh in PureScript — русскоговорящее сообщество
Декодер то можно написать, который бы что-то проверял, только в какую структуру это помещать чтобы было без Maybe?
источник

ЗП

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

ЗП

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

ЗП

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

K

Kir in PureScript — русскоговорящее сообщество
Но так JSOM можеть быть null, что делать в этом случае?
источник

SO

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

ЗП

Зигохистоморфный Пре... in PureScript — русскоговорящее сообщество
а какой тут ключ?)
источник

K

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

ЗП

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

K

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

K

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

ЗП

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

SO

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

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
А просто рекорды не подходят? Или просто функции
источник

SO

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

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Ну как, паттерн матчингом, парсингом
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Функцию в данные сложно, а обратно-то святое дело
Хотя в данном случае не очень сложно
источник