Size: a a a

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

2019 January 18

ЗП

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

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
А можно заставить пурсу писать базовые функторы?
источник

ЗП

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

KV

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

ЗП

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

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
если честно, у меня уже было написано через пару АДТ, но я переписал на Mu, зачем-то, просто хотелось избежать кучи лишнего кода
источник

ЗП

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

VY

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

ЗП

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

ЗП

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

ЗП

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

ЗП

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

ЗП

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

ЗП

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

ЗП

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

VY

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

ЗП

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

ЗП

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

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
хм, я думал что для ньютайп все убирается и ничего не остается в райнтайме, как будто используешь напрямую то, что оборачивал в ньютайп (как в х-е, но у меня лишь поверхностые знания, мб и в х-е что-то остается в рантайме?). интересно, что за identity
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
function (x) { return x }
источник