ох! Freer ~ Free + Coyoneda

Coyoneda - free functor Free - free monad

>беру телефон >4:20 >зига с freer и койонедами

а вот интересно еще койонеду в черче, фри в черче, объединить что-то зафьюзить и получить freer в черче что будет хитрой комбинацией cont

Coyoneda - free functor Free - free monad

Funnad

а вот интересно еще койонеду в черче, фри в черче, объединить что-то зафьюзить и получить freer в черче что будет хитрой комбинацией cont

cont это call/cc ?

и мы пришли к тому, что известно всегда Cont - мать всех монад

все в черче

все что нужно это функции на типах или на значениях

и еще раз) (\x -> x x)(\x -> x x) мое любимое

cont это call/cc ?

бамп

бамп

Continuation Monad

http://blog.sigfpe.com/2008/12/mother-of-all-monads.html

https://github.com/sergeysova/telegram-chats

а здесь не админ ((

кароч хаскелл не нужен, все в лиспы

https://github.com/sergeysova/telegram-chats

Зачем еще один список чатов

так в том же Rx тоже CPS

Зачем еще один список чатов

это только те, где я админ или создатель)

идея в том что CPS пофиг асинк у тебя или синк

все эти монады Promt, Freer, Operational лишь какое-то приближение к хитрому сочетанию Cont

Я всё хочу наконец дотипизировать имплементацию Free safarelli, так как она именно про интероп syns и async, причём момент перехода к асинхронности виден непосредственно

Oleg Kiselyov, author of a delimited continuation implementation for OCaml and designer of an API for delimited stack manipulation for the implementation of control operators, advocates the use of delimited continuations instead of the full-stack continuations that call/cc manipulates: "Offering call/cc as a core control feature in terms of which all other control facilities should be implemented turns out a bad idea. Performance, memory and resource leaks, ease of implementation, ease of use, ease of reasoning all argue against call/cc."

А не как в стримах, постфактум ?

Я всё хочу наконец дотипизировать имплементацию Free safarelli, так как она именно про интероп syns и async, причём момент перехода к асинхронности виден непосредственно

там все (так как с хаскелл взято) Free functor Free monad Free applicative

Я всё хочу наконец дотипизировать имплементацию Free safarelli, так как она именно про интероп syns и async, причём момент перехода к асинхронности виден непосредственно

sins

Ruby ?

хитрая комбинация Free с разными штуками восстанавливает такие структуры как автоматы Мура и прочее

интересно это все выразить в бесточечной нотации через комбинаторы unit = λx k. k x bind = λm k c. m (λx. k x c) bind (unit a) f = f a [left identity] bind (λk. k a) f = f a [unit] λc. (λk. k a) (λx. f x c) = f a [bind] λc. (λx. f x c) a = f a [β-reduce] λc. f a c = f a [β-reduce] f a = f a [η-reduce] bind m unit = m [right identity] bind m (λx k. k x) = m [unit] λc. m (λx. (λx k. k x) x c) = m [bind] λc. m (λx. (c x)) = m [β-reduce] λc. m c = m [η-reduce] m = m [η-reduce] bind (bind m f) g = bind m (λx. bind (f x) g) [associativity] λc. (bind m f) (λx. g x c) = bind m (λx. bind (f x) g) [bind] λc. (λc′. m (λx′. f x′ c′)) (λx. g x c) = bind m (λx. bind (f x) g) [bind] λc. m (λx′. f x′ (λx. g x c)) = bind m (λx. bind (f x) g) [β-reduce] λc. m (λx′. f x′ (λx. g x c)) = λc. m (λx′. (λx. bind (f x) g) x′ c) [bind] λc. m (λx′. f x′ (λx. g x c)) = λc. m (λx′. bind (f x′) g c) [β-reduce] λc. m (λx′. f x′ (λx. g x c)) = λc. m (λx′. (λc′. f x′ (λx. g x c′)) c) [bind] λc. m (λx′. f x′ (λx. g x c)) = λc. m (λx′. f x′ (λx. g x c)) [β-reduce]

оноу

https://github.com/sergeysova/telegram-chats

а чё там эмодзи значат? а то расшифровка только для звёздочки дана

а чё там эмодзи значат? а то расшифровка только для звёздочки дана

ОПЯТЬ

нет ничего прекрасней лямбды

Категория

https://medium.com/@JosephJnk/an-introduction-to-function-fixed-points-with-the-y-combinator-e7bd4d00fb62 https://medium.com/@JosephJnk/variations-on-the-y-combinator-and-recursion-cd8d2a7f1a2c https://medium.com/@JosephJnk/a-brief-introduction-to-recursion-schemes-6192e55758be https://medium.com/@JosephJnk/catamorphisms-8637f3d45383 https://medium.com/@JosephJnk/anamorphisms-9a85466c9d59 https://medium.com/@JosephJnk/hylomorphisms-43a5494729b7 Welcome —^

https://github.com/JosephJNK/medium-post-sample-code https://github.com/JosephJNK/static-land-recursion-schemes

реееекурсивныеееее схемыыыыы

блэд

че у меня нет прав

дайте мне админку!

У тебя здесь нет власти............

эх

Да кстати и Полине админку не давайте

рыба указывает сове дожились

Да кстати и Полине админку не давайте

о и ты тут

А то землю под ногами чувствовать перестали

Та да, этой телоньке нихуя доверять нельзя

лол

дерзкие какие

Мы просто к ней подкатывали и она нас отшила

лол

а как ещё

о и ты тут

Да много где)

Сова какой-то добрый.......

На работе что ле отказались от б*м?..........

Да много где)

че тоже решил новые сезоны аниме посмотреть?

А от меня скрывал )

Сенатор онимешник......

сказала рыба ?

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

Как фиксить?

Как фиксить?

учить хаскель

ERROR: S client not available

у меня друг учит хаскель теперь всегда что-то про монады говорит, еще жжет от ооп, капец. я не оопшник

че тоже решил новые сезоны аниме посмотреть?

хочу быть в тренде мемов фронтенда

у меня друг учит хаскель теперь всегда что-то про монады говорит, еще жжет от ооп, капец. я не оопшник

Это какой-то неправильный хаскелист

почему, типичный

we ❤ oop

учить хаскель

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

Пиздец какие дезайн потерни реакта есть? Для атомика я слишком для

Дебил

Верните нормальное название чатика))

чёт теперь какой-то реакт чатик

о нужно жизнь проверить

я бы забирал админство за не конструктивность

всегда думал, что Зигохихихи это админ

о нужно жизнь проверить

41% чёт походу новые лица не особо меняют этот показатель

Церковная свободная монада для функтора f

я бы забирал админство за не конструктивность

тогда бы ты никогда не был бы админом, лол

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

че это я провинился?

ну кинул пост про рекурсивные схемы

ничего в этом плохого не вижу

тут это запрещено и наказание по усмотрению админа

какая разница, это в правилах указано

в некоторых тоже запрещают нечто не очень плохое, но закон есть закон

каких

правилах

а их че, не

http://telegra.ph/Pravila-FRP-chata-12-11

не канон

ты эту хуйню продублировал с haskell_learn

эти правила были написаны Ильей вроде как даже до haskell learn, но не уверен

лолл

но я бы тоже банил за рекурсивные схемы