λ
самый быстрый сейчас — fused-effects, но там большие проблемы с эргономике, с другой стороны есть совместимость с мтл
Ок, другой вопрос - насколько самая быстрая на данный момент альтернатива tagless final?
И да tagless final != MTL всё же
Size: a a a
2020 April 13
DS
λ
самый быстрый в перспективе eff, но тут я ничего не буду объяснять, там лучше самому сходить почитать исходники
DS
самый быстрый в перспективе eff, но тут я ничего не буду объяснять, там лучше самому сходить почитать исходники
Это с хэндлерами который?
λ
Ок, другой вопрос - насколько самая быстрая на данный момент альтернатива tagless final?
И да tagless final != MTL всё же
И да tagless final != MTL всё же
да, тэглес файнал более широкое понятие, но когда мы говорим о монадических едсл, то это мтл
DS
да, тэглес файнал более широкое понятие, но когда мы говорим о монадических едсл, то это мтл
Ну я не фанат именно МТЛ, потому что там всё привязано к монадам по историческим причинам.
Даже для того, где хватило бы более слабых тайпклассов
Даже для того, где хватило бы более слабых тайпклассов
λ
Это с хэндлерами который?
в любой системе эффектов есть хэндлеры
λ
Ну я не фанат именно МТЛ, потому что там всё привязано к монадам по историческим причинам.
Даже для того, где хватило бы более слабых тайпклассов
Даже для того, где хватило бы более слабых тайпклассов
от того, что ты MonadReader распилил на ApplicativeAsk и ApplicativeLocal, ничего по сути у тебя не поменялось
DS
в любой системе эффектов есть хэндлеры
Я про то как конкретно они сделаны, это уже не важно, я нашел.
λ
это всё тот же мтл, только, возможно, чуть лучше
DS
Спутал с другой либой
DS
это всё тот же мтл, только, возможно, чуть лучше
Ну я понимаю, что у tf есть свои минусы, но зато по реализации простой как пробка же.
То есть можно сделать буквально на коленке свою систему эффектов и она будет более-менее работать. Никакой сложной машинерии нет, тупо тайпклассы и всё. Никаких требований к рантайму и оптизациям компилятора
То есть можно сделать буквально на коленке свою систему эффектов и она будет более-менее работать. Никакой сложной машинерии нет, тупо тайпклассы и всё. Никаких требований к рантайму и оптизациям компилятора
DS
самый быстрый в перспективе eff, но тут я ничего не буду объяснять, там лучше самому сходить почитать исходники
Да, почитал, смотрится любопытно, но опять-таки зависимость от фишек RTS
λ
Да, почитал, смотрится любопытно, но опять-таки зависимость от фишек RTS
Что не так с зависимостью от фишек RTS? То, что на языке с рантаймом для алгола такое не повторить?
ML
Переслано от Berkus Decker
может неожиданно стать платным на жырную сумму без предупреждений
ML
ответ один: не выходите за фри таер
ML
ML
если сесть и разобраться, то возможно
ML
Переслано от Berkus Decker
я вообще запускал тестовый скрипт, и забыл про инстанс, сумма в конце месяца была отрезвляющая - удалил акк к хуям и туда больше ни ногой
ML
ну, это потому, что "забыл про инстанс"