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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Programming Offtop

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

КР

Кирилл Романенко... in Programming Offtop
Igor
> X - это точка, что ли?

В каком смысле "точка"? В смысле "как композиция обычных фукнций, но функторов"? Если так, то да

(.) :: (b -> c) -> (a -> b) -> (a -> c)

(<=<) :: (b -> m c) -> (a -> m b)  -> (a -> m c)
Да
источник
12:44пожаловаться#1

I

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

class Monad m where
  (>=>) :: (a -> m b) -> (b -> m c) -> (a -> m c)
  pure :: a -> m a
источник
12:45пожаловаться#2

I

Igor in Programming Offtop
но я не шарю, так шо не надо меня цитировать*

Читайте лучше: https://bartoszmilewski.com/2016/11/21/monads-programmers-definition/
источник
12:48пожаловаться#3

AM

Andrew Mikhaylov in Programming Offtop
Lev Shagalov
Я что-то пропустил? Почему гит советует назвать главную ветку не master а main?
Wait, what? Сам git? Или всё же github какой-нить?
источник
12:57пожаловаться#4

IP

Iaroslav Postovalov in Programming Offtop
Alexander Nozik
Функциональный анализ в институте был?
Он не нужен для теорката
источник
12:57пожаловаться#5

AN

Alexander Nozik in Programming Offtop
Iaroslav Postovalov
Он не нужен для теорката
Он не нужен, но понятия достаточно родственные, чтобы из одного отобразиться в другое
источник
12:58пожаловаться#6

IP

Iaroslav Postovalov in Programming Offtop
Нужны множества и абстрактная алгебра
источник
12:58пожаловаться#7

AN

Alexander Nozik in Programming Offtop
Iaroslav Postovalov
Нужны множества и абстрактная алгебра
Абстрактная алгебра тоже не нужна. Множества - да
источник
12:58пожаловаться#8

IP

Iaroslav Postovalov in Programming Offtop
Alexander Nozik
Абстрактная алгебра тоже не нужна. Множества - да
Ну вот группы, про которые мы воюем
источник
12:59пожаловаться#9

IP

Iaroslav Postovalov in Programming Offtop
Категория вполне
источник
12:59пожаловаться#10

IP

Iaroslav Postovalov in Programming Offtop
Где морфизмы - это гомоморфизмы групп
источник
13:00пожаловаться#11

AN

Alexander Nozik in Programming Offtop
Iaroslav Postovalov
Ну вот группы, про которые мы воюем
Это ты воюешь, я блочу :) Но на самом деле не нужно, это нам нужна теория групп. А тут даже действий нет, только определения.
источник
13:01пожаловаться#12

IP

Iaroslav Postovalov in Programming Offtop
Alexander Nozik
Это ты воюешь, я блочу :) Но на самом деле не нужно, это нам нужна теория групп. А тут даже действий нет, только определения.
Нет, я согласен, что для базовых определений в теоркате алгебраические струкутуры не нужны
источник
13:02пожаловаться#13

IP

Iaroslav Postovalov in Programming Offtop
Но связь очень тесная. Еще теоркат иногда считают разделом общей алгебры
источник
13:02пожаловаться#14

АХ

Алексей Худяков... in Programming Offtop
Функциональный анализ, ЕМНИП — бесконечномерные линейые пространства, а теоркат — generalised abstract nonsense
источник
13:03пожаловаться#15

IP

Iaroslav Postovalov in Programming Offtop
Возможно, функан тоже надо, но в нем я не разбираюсь, поэтому не могу сказать
источник
13:03пожаловаться#16

AN

Alexander Nozik in Programming Offtop
Iaroslav Postovalov
Но связь очень тесная. Еще теоркат иногда считают разделом общей алгебры
Ну в принципе-то да. Я выше писал. Это отображения над дискретным пространством. Наши алгебры отличаются только тем, что они над непрерывными пространствами.
источник
13:03пожаловаться#17

AN

Alexander Nozik in Programming Offtop
Алексей Худяков
Функциональный анализ, ЕМНИП — бесконечномерные линейые пространства, а теоркат — generalised abstract nonsense
Отличное определение
источник
13:03пожаловаться#18

IP

Iaroslav Postovalov in Programming Offtop
Алексей Худяков
Функциональный анализ, ЕМНИП — бесконечномерные линейые пространства, а теоркат — generalised abstract nonsense
почему ерунда
источник
13:03пожаловаться#19

AN

Alexander Nozik in Programming Offtop
Iaroslav Postovalov
почему ерунда
Потому что терминология ради терминологии
источник
13:03пожаловаться#20