Size: a a a

Programming Offtop

2021 February 15

КР

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

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

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

(<=<) :: (b -> m c) -> (a -> m b)  -> (a -> m c)
Да
источник

I

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

class Monad m where
 (>=>) :: (a -> m b) -> (b -> m c) -> (a -> m c)
 pure :: a -> m a
источник

I

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

Читайте лучше: https://bartoszmilewski.com/2016/11/21/monads-programmers-definition/
источник

AM

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

IP

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

AN

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

IP

Iaroslav Postovalov in Programming Offtop
Нужны множества и абстрактная алгебра
источник

AN

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

IP

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

IP

Iaroslav Postovalov in Programming Offtop
Категория вполне
источник

IP

Iaroslav Postovalov in Programming Offtop
Где морфизмы - это гомоморфизмы групп
источник

AN

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

IP

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

IP

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

АХ

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

IP

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

AN

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

AN

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

IP

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

AN

Alexander Nozik in Programming Offtop
Iaroslav Postovalov
почему ерунда
Потому что терминология ради терминологии
источник