М

есть много хороших аниме с юмором

на самом деле читать удалённые сообщения

дайте мне админку, я буду всякий офтоп чистить

ок ща

всем админку дают?)

всем кроме хейтеров редакса

а каким боком редакс к фп или фрп имеет отношение?

ну там функции ?

Generic programming with ornaments and dependent types

У puffnfresh был гист про это

https://gist.github.com/puffnfresh/35213f97ec189757a179

а каким боком редакс к фп или фрп имеет отношение?

Говоря о том что "что-то не имеет отношения к фп" ты тем самым утверждаешь что фп неполноценно и даже ущербно, потому что не может выражать или включать в себя такое тривиальное явление

Шах и мат

https://gist.github.com/puffnfresh/35213f97ec189757a179

о, видел раньше, но только сейчас понял код

чёт кажись что эффекты больше про то что их хэндлить можно

ну да, если включать хэндл в сами монады (в бинд), то сталкиваемся с проблемой композиции монад, их нельзя композировать без кучи бойлерплейта

ну сложновато понять о том же ты пишешь или нет я про то что вот в хаскельной конфе сегодня кто-то кинул свою либу и вот она про то что ты там хэндлишь и эти хэндлеры подменяешь при необходимости и вот пейпер про алгебраческие эффекты кажется пишет о том же (ну явно ещё о чём то пишет)

https://caps-0-dxkllnpysx.now.sh/Monad-Capabilities.html https://github.com/int-index/caps

а как хэндл включать в бинд даже если допустить что мы сами пишем reader к примеру

я не смотрел сильно, но там вроде просто пробрасывался ридер с функциями

есть много хороших аниме с юмором

на самом деле нет

мб посоветуете что-нибудь вроде ничиджо? тип короткие сцены/зачастую простой юмор завязанный на непонимании ситуации. не буквально но думаю вы уловили

Признания

из прошлого аниме сезона

мб посоветуете что-нибудь вроде ничиджо? тип короткие сцены/зачастую простой юмор завязанный на непонимании ситуации. не буквально но думаю вы уловили

Последние 2 сезона yami shibai

че тут

аниме

говна кусок ваше аниме

то ли я не догоняю в 3 ночи, то ли хз) где про вход через твиттер используя кнопнку на фронте? чтобы потом перекинуло на определенный урл в который передадутся креденшелы

почему пейпер Extensible Effects написан плохо: ввели open union, показали три функции, вроде как почти аксиоматично нужные, без них мол никак две из них понятны - конструктор и селектор значения юниона третья - decompose, ее смысл я не понимал долго. Итак, че она делает: имеем некое значение юниона A+B+C, пробуем вернуть A если наш элемент - A, то возвращаем его, иначе возвращаем этот же юнион но уже B+C (то есть Either (B+C) A) то есть хелпер полезный, но какой-то он узконаправленный, нужный чисто для написания хендлеров

применяя этот decompose много раз можно рано или поздно найти нужный нам тип, конечно

бля, я только хотел на мак неклеечки новые наклеить

лол

бля, я только хотел на мак неклеечки новые наклеить

какие?

которые на фбай найду

лучше грустную панду

наверное я тупой, раз пейперы так долго разбираю

крч всё ещё кажется что замена мтл было побочным результатом при реализации эффектов полагаясь на эту мысль как-то горит при чтении разных мнений об эффектах

вон как в коке сделали

я про https://github.com/koka-lang/koka

я про https://github.com/koka-lang/koka

хм

пожалуй одна из лучших док https://koka-lang.github.io/koka/doc/kokaspec.html

fop - function-oriented programming

fop - function-oriented programming

Эт про что

новый термин придумал просто (если его не было)

ну я тут себя конечно дураком выставляю но уверен критичиская позиция помогает при обучении

не успел(

ну я тут себя конечно дураком выставляю но уверен критичиская позиция помогает при обучении

ты про что?

я не знаю, создавались ли эффекты как решение проблемы трансформеров, я не изучал эту историю. Я знаю, что они по крайней мере ее решают

Про картинку. Мб окажется что вся теория была таки про замену мтл

я разобрался и вроде как кристально понял весь тот код, что я написал, поэтому продолжил добавлять эффекты - Writer

а так же понял, что все - хуйня

нужно переделывать

все, сейчас дочитаю пейпер и пойду смотреть решение на фри-монадах

итак, можно было Status не изобретать, это обычный Free по юниону

ну да

можно было и Eff не изобретать, это обычный Cont (почти обычный, я не знаю, что с forall делать)

ERROR: S client not available

можно было и Union не изобретать, а взять любую либу с полиморфным по каинду юнионом, но не думаю, что такие существуют

Но как оказалось, что freer в Черче есть просто хитрый переход в Continuation monad

^

ну да, это и так написано в самом начале пейпера, я сейчас про другое - как убрать кучу кода из либы и реюзать другие либы

попробуй этот юнион https://github.com/int-index/union

чет я не понял, там какой-то полиморфизм по каинду, но нифига не понятно

ну у всех реализаций вроде так что в фриер

так, я успешно заменил свой Status на Free из free, это, правда, не убрало ни одной строчки кода (определение статуса заменилось на алиас на фри), но добавило dependency в либу, все как я, фронтендер, люблю

если будет функции где рекурсивно будут появлятся Free то можно заменять на кату с FreeT в роли неподвижной точки)

попробуй этот юнион https://github.com/int-index/union

о, про это я могу самого Завиалова спросить, я же теперь с ним работаю

о, про это я могу самого Завиалова спросить, я же теперь с ним работаю

?

но не буду, я новичек ни к кому кроме тех, кого знаю, истинный хикка

чет сложно с этим union работать

и работать с ним невозможно потом

ну мб есть еще решения на хакедж стакедж

ну Eff сходу на Cont заменить не удалось

@vlastachu http://okmij.org/ftp/Haskell/extensible/exteff.pdf тут в шестом разделе упоминается тот пейпер, что ты читаешь

ну вроде все, разобрался с реализацией расширяемых эффектов, теперь могу их использовать

вот так в хаскеле происходит внедрение библиотек в продакшен

я понял про забывающий принцип Free-монад

имеем мы такие монаду Reader r. И тут бац, берем и забываем, что Reader r - монада, пусть просто функтор с ask а теперь берем Free (Reader r) и оборачиваем ask и оп - снова монада!

если вам ридер кажется слишком простым, то возьмем State s, отбросим его монадичность и сделаем новую монаду Free (State s)

а если мы возьмем mtl, то там даже ask/get/put не нужно переопределять, они уже работают сами по себе

Я вам так скажу Кане больше не наливать

?

я начал читать пейпер по freer и про то, как там обычный Free заменили на этакий Free+Cont

собственно вот пример dsl-ки (Reader+Writer+State без юниона) на таком Freer - https://gist.github.com/kana-sama/d12a292e288015e2a6ddb5912386a274

я начал читать пейпер по freer и про то, как там обычный Free заменили на этакий Free+Cont

в чем фишка - нам больше не требуется, чтобы конструктор типа был функтором то есть если в Free f a f должен быть функтором, то в FFree f a нет, любой ★ → ★ тип