NI
I heard that monads are about something involving overloading burrito operators in an endospacesuit category.
I don't know, it sounds pretty complicated. – C. A. McCann
I don't know, it sounds pretty complicated. – C. A. McCann
Size: a a a
2021 May 17
VD
Клоунада в капитолии экоциркторов
JS
Хаскель откроет свои монады лишь тем, кто не обзывает его "хачкелем"
VD
Вот так сторонники цацкеля и победили
D
плиз только не разговоры о бурито
в скала чате хватило
в скала чате хватило
NI
Хорошо, пусть будет lax 2-функтор из единичной категории в какую-то бикатегорию.
Пойдёт?
Пойдёт?
D
нет
[
Зря
[
Да?
JS
что?
[
Прям не открывает?
JS
какие-то странные докапывания до шуток
[
Мне надо щнать все пункты подписываемого контракта!
[
А пара это монада Writer, да?
[
Случайно отправилось👀
DG
Вот это уже интересней.
Жаль я пока не понимаю, что это означает)
Жаль я пока не понимаю, что это означает)
JS
пара в контексте монады — это аналог Writer, да
DG
Кажется, в мире написано столько материала про монады в Haskell, что стоит прочитать некоторое количество, прежде чем спрашивать об этом в чате)
[
Монада это тип, для которого определены операции bind и return (pure)