Телеграмм чат группы purescript_ru страница 160

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

PureScript — русскоговорящее сообщество

79 membersпожаловаться на группу

2018 December 08

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

Kirill Valyavin

Тем более раз они изоморфны

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

источник

13:40пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

вот у ООП толком и изо никуда не построить

источник

13:41пожаловаться

p

parket in PureScript — русскоговорящее сообщество

Зигохистоморфный Препроморфизм

объединение контрвариантного и ковариантного функтора

Контрвариантный, это который оборачивает стрелки?

источник

13:41пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

кроме грубо грубо приближенных бесконечных коалгебр

источник

13:41пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

Контрвариантный, это который оборачивает стрелки?

ага

источник

13:41пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

(a -> b) -> f b -> f a

источник

13:43пожаловаться

p

parket in PureScript — русскоговорящее сообщество

Зигохистоморфный Препроморфизм

в пурсе только профункторная, Лаарховеновский вариант протух вроде в пурсе (не обновляется)

Не понимаю, как такая штука может протухнуть, у нее зависимости?

источник

13:44пожаловаться

p

parket in PureScript — русскоговорящее сообщество

Зигохистоморфный Препроморфизм

(a -> b) -> f b -> f a

Прикольно. Value есть?

источник

13:47пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

Прикольно. Value есть?

чо?

источник

13:47пожаловаться

p

parket in PureScript — русскоговорящее сообщество

Тип обитаем?

источник

13:47пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

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

источник

13:48пожаловаться

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество

Зигохистоморфный Препроморфизм

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

Поясню на всякий случай:

источник

13:53пожаловаться

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество

data Contra a b = Contra (a -> b)

источник

13:53пожаловаться

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество

Надеюсь не напутал

источник

13:53пожаловаться

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество

Напутал. a и b поменять местами надо, чтобы интанс можно было написать

источник

13:56пожаловаться

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество

Там просто композиция функций должна быть

источник

13:57пожаловаться

p

parket in PureScript — русскоговорящее сообщество

I love profunctors. They're so easy. - School of Haskell | School of Haskell
https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/profunctors

источник

14:01пожаловаться

p

parket in PureScript — русскоговорящее сообщество

Вот тут неплохо написано.

источник

14:01пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

у меня где-то в закладках есть мой список по материалах о профункторах

источник

14:02пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

I love profunctors. They're so easy. - School of Haskell | School of Haskell
https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/profunctors

в довесок вот тебе еще
https://github.com/hablapps/DontFearTheProfunctorOptics

hablapps/DontFearTheProfunctorOptics

Don't Fear the Profunctor Optics! Contribute to hablapps/DontFearTheProfunctorOptics development by creating an account on GitHub.

источник

14:04пожаловаться