LO
у меня один слой только
Size: a a a
2021 June 23
YS
(это была шутка :( )
YS
На фримонадах?
K
Можно и так сказать. На самом деле, есть джва три вида систем эффектов, из того, что я знаю:
1) Алгебраические - нет
2) не-алгебраические - всё это есть, и в ядре там фримонады, но нельзя сделать
3) polysemy/fused-effects - всё есть, в ядре подобие фримонады (обработанной напильником
1) Алгебраические - нет
local и других функций с негативным вхождением2) не-алгебраические - всё это есть, и в ядре там фримонады, но нельзя сделать
Eff [HasReader x, ...] a -> Eff [...] (Reader a)3) polysemy/fused-effects - всё есть, в ядре подобие фримонады (обработанной напильником
freer, точнее), всё можно, но медленнее чем mtl в разыYS
Интересно
YS
Я кстати слышал что fused effects достаточно быстрые
YS
Я правда ничего кроме тайпклассов не использовал)
K
Всё сложно. Соавтор-допиливатель fused-effects объясняет, в чём специфика бенчмарков
https://www.youtube.com/watch?v=0jI-AlWEwYI
https://www.youtube.com/watch?v=0jI-AlWEwYI
YS
Там же суть была в специализации?
AF
Если это паттерн, который применяется повсеместно, то это может быть вполне осмысленно
AF
Я вот давно думаю, как бы повыковыривать у джуниоров c и v. Уж если ты копируешь, хотя бы копируй рядом и перепечатывай с образца, может быть, что-то поймёшь хоть. Хотя копирование и удобнее. А шаблонный, одинаковый код хотя и нарушает DRY, но зато его очень легко писать, читать и поддерживать.