ЗП
а FormulaF юзать как базовый функтор
Size: a a a
2019 January 18
KV
А можно заставить пурсу писать базовые функторы?
ЗП
нет же никаких механизмов ни для дженериков ни для темплейтов
KV
VY
если честно, у меня уже было написано через пару АДТ, но я переписал на
Mu, зачем-то, просто хотелось избежать кучи лишнего кодаЗП
ну это же будет алиас и с ним не очень будет
VY
да, я уже жалею
но кода получилось почему-то немного меньше (хотя не факт, но на первый взгляд вроде бы да, возможно, я еще чего-то поубирал)
но кода получилось почему-то немного меньше (хотя не факт, но на первый взгляд вроде бы да, возможно, я еще чего-то поубирал)
ЗП
ЗП
+1 дататайп и все
ЗП
зато проще потом с этим работать
ЗП
если ты конечно не юзаешь мой подход с eadt
ЗП
но там хитрость в том
ЗП
что ты безболезненно можешь расширять в двух направлениях
ЗП
ну и + призмы для Variant/VariantF
VY
это будет следующий шаг) не в ближайшее время, но оч интересно попробовать
ЗП
мне этот подход больше понравился, чем вот тот модуль с _Ctor что ты юзаешь
ЗП
что мне не нравится, это когда пурса генерит код для ньютайп, то там не убирается ненужная функция-обертка identity
VY
хм, я думал что для ньютайп все убирается и ничего не остается в райнтайме, как будто используешь напрямую то, что оборачивал в ньютайп (как в х-е, но у меня лишь поверхностые знания, мб и в х-е что-то остается в рантайме?). интересно, что за
identityЗП
function (x) { return x }