Oℕ
В смысле, плохо рассказывал
Size: a a a
2020 February 03
Oℕ
Но тема вдохновляющая
Oℕ
Связи между зав функциями и продактами
Oℕ
Ну в итоге Функтор это коробка не более чем абсолютно любая вещь, которая имеет хоть какой-то параметр - коробка
Oℕ
Учитывая, что финитные суммы и произведения тоже коробки
Oℕ
то в этом смысле абсолютно всё, что в ЯП есть - это коробки
ᛒ
а канкуренси?
Oℕ
Т.е. можно объяснять что функтор - это коробка по бартошу тогда, когда вообще всё - коробка
Oℕ
а канкуренси?
Та ещё коробка
ᛒ
Та ещё коробка
а пар это две коробки или одна?
Oℕ
а пар это две коробки или одна?
Одна
DM
то в этом смысле абсолютно всё, что в ЯП есть - это коробки
наконец ты осознал и встал на нашу сторону
λ
а пар это две коробки или одна?
Это одна коробка, но в нее можно залазить сразу двумя руками
Oℕ
n коробок всегда объединяются в одну коробку, даже если n - несчётное, и даже не множество
ᛒ
Это одна коробка, но в нее можно залазить сразу двумя руками
а в канкуренси как?
Oℕ
Спасибо пацаны, у меня тоже епифания теперь
Oℕ
Готов обниматься
w
Готов обниматься
Эх, сча бы обниматься
ὦ
еще один ахуенный опрос
Анонимный опрос
16%
Функтор коробка
21%
Функтор не коробка
11%
Сжечь коробочников
21%
С прагматичной точки зрения коробка удобнее
11%
Я ничего не читал и не смотрел. Коробка удобно и просто.
21%
Дед(Сов) считал коробкой