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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Programming Offtop

557 membersпожаловаться на группу
2021 February 15

IP

Iaroslav Postovalov in Programming Offtop
Кирилл Романенко
Смотри: судя по тому что я прочитал, в теории категорий есть категории, внутри которых объекты и морфизмы, которые их "соединяют". Если на это положить категорию эндофункторов, что есть объект, а что морфизм?
Помогите, в чате ПДК фпшников превышена!
источник
13:47пожаловаться#1

AN

Alexander Nozik in Programming Offtop
Iaroslav Postovalov
Помогите, в чате ПДК фпшников превышена!
Не путай фпшников с любителями обсуждать теоркат. Таки ФПшника тут по-моему до сих пор полтора
источник
13:48пожаловаться#2

IP

Iaroslav Postovalov in Programming Offtop
Igor
Ну в общем да,
Короче надеюсь ты уловил "математический смыслы" сигнатуры Monad

class Monad m where
  (>=>) :: (a -> m b) -> (b -> m c) -> (a -> m c)
  pure :: a -> m a
Не люблю, кстати, такие рыбки.
источник
13:49пожаловаться#3

IP

Iaroslav Postovalov in Programming Offtop
Почему нельзя просто fmap или flatMap.
источник
13:49пожаловаться#4

IP

Iaroslav Postovalov in Programming Offtop
Alexander Nozik
Не путай фпшников с любителями обсуждать теоркат. Таки ФПшника тут по-моему до сих пор полтора
Кто это?
источник
13:50пожаловаться#5

IP

Iaroslav Postovalov in Programming Offtop
Ну помимо Алексея
источник
13:50пожаловаться#6

AN

Alexander Nozik in Programming Offtop
Iaroslav Postovalov
Ну помимо Алексея
@themishkun чего-то вроде делает в эту сторону
источник
13:50пожаловаться#7

IP

Iaroslav Postovalov in Programming Offtop
Alexander Nozik
@themishkun чего-то вроде делает в эту сторону
2 > 1.5
источник
13:50пожаловаться#8

КР

Кирилл Романенко... in Programming Offtop
(
категорию эндофункторов определяют для какой-то категории
И.е. если ты для какой-то категории К определяешь категорию эндофункторов, то у тебя получается категория эндофункторов категории К
В ней объекты - это, собственно эндофункторы, а морфизмы - натуральные преобразования
Натуральные преобразования - это способ сделать из некоторого функтора F другой функтор G, пример - Option<A> -> Either<Unit, A>
Нет, стой. Эндофунктор - функтор, который идёт сам в себя. Ты сейчас указал морфизмы, при которых один функтор меняется на другой (Either меняется на Option). Что такое тогда эндофункторы в таком определении? Either - эндофунктор?
источник
13:51пожаловаться#9

КР

Кирилл Романенко... in Programming Offtop
Alexander Nozik
@themishkun чего-то вроде делает в эту сторону
А Angmarr и Егор Скобка?
источник
13:51пожаловаться#10

ML

Mikhail Levchenko in Programming Offtop
Alexander Nozik
@themishkun чего-то вроде делает в эту сторону
Скорее тут Игорь, я то всего лишь чаек завариваю
источник
13:52пожаловаться#11

(

( in Programming Offtop
Кирилл Романенко
Нет, стой. Эндофунктор - функтор, который идёт сам в себя. Ты сейчас указал морфизмы, при которых один функтор меняется на другой (Either меняется на Option). Что такое тогда эндофункторы в таком определении? Either - эндофунктор?
Функторы - это преобразование категории в другую категорию. Соотв. эндофунктор - это преобразование категории в себя
источник
13:53пожаловаться#12

(

( in Programming Offtop
Either - эндофунктор, да, в категории типов в твоем языке
источник
13:53пожаловаться#13

(

( in Programming Offtop
а
источник
13:53пожаловаться#14

(

( in Programming Offtop
Все, я понял, в чем путаница
источник
13:54пожаловаться#15

I

Igor in Programming Offtop
Iaroslav Postovalov
Почему нельзя просто fmap или flatMap.
Потому что fmap нельзя (красиво*) вызвать инфиксно и без лишних скобок.
Короче все за што мы любим + - * / и тд
источник
13:54пожаловаться#16

IP

Iaroslav Postovalov in Programming Offtop
Mikhail Levchenko
Скорее тут Игорь, я то всего лишь чаек завариваю
А скобка фпшник?
источник
13:54пожаловаться#17

IP

Iaroslav Postovalov in Programming Offtop
А его альтер-это?
источник
13:54пожаловаться#18

(

( in Programming Offtop
Iaroslav Postovalov
А скобка фпшник?
нет, я не фпшник
источник
13:54пожаловаться#19

(

( in Programming Offtop
заворачиваю каллбеки в suspend-ы и пишу фабрики фабрик
источник
13:55пожаловаться#20