IP
нет, я не фпшник
А грустная?
Size: a a a
2021 February 15
(
А грустная?
а хер её знает
IP
@noraltavir аааааааааааа. объясните прикол квантмеховский, не понял
IP
То есть, понял, что это обозначения дирака, но целиком высказывание не могу интерпретировать
(
Нет, стой. Эндофунктор - функтор, который идёт сам в себя. Ты сейчас указал морфизмы, при которых один функтор меняется на другой (Either меняется на Option). Что такое тогда эндофункторы в таком определении? Either - эндофунктор?
Какой-нибудь
Option<A> сам по себе - это (эндо-)функтор, потому что для него есть такое поведение. Но вместе с тем какой-нибудь val a: Option<Int> = ... это не функтор, потому что, ну, это уже конкретный объект)
а хер её знает
хер меня знает, да
(
Тут тонкая контекстуальная грань в определениях, потому что теоркат не очень хорошо ложится на большинство систем типов
КР
Какой-нибудь
Option<A> сам по себе - это (эндо-)функтор, потому что для него есть такое поведение. Но вместе с тем какой-нибудь val a: Option<Int> = ... это не функтор, потому что, ну, это уже конкретный объектАа... Но всё равно: разве Either и Option не из разных категорий?
КР
Хотя я хуйню сказал
КР
Функторы же не находятся внутри категорий.
(
Аа... Но всё равно: разве Either и Option не из разных категорий?
Ну, можно конечно по отдельности рассматривать категории "простых" типов, и категории конструкторов типов Either и Option, тогда получаются категории как по книжке. Но структурно Either и Option будут идентичны категории "простых" типов
И они все все равно сидят все в одной категории типов языка, поэтому любые конструкторы типов - эндофункторы
И они все все равно сидят все в одной категории типов языка, поэтому любые конструкторы типов - эндофункторы
(
Функторы же не находятся внутри категорий.
Не, ну так-то категория функторов существует
M
кто знает как сделать так, чтобы в вебшторме сохранялась история команд как в вижуал студии?
AN
По-видимо когерентная сумма подразумевалась. Кот Шредингера если угодно
IP
По-видимо когерентная сумма подразумевалась. Кот Шредингера если угодно
А при чем тут корень из двух?
КР
Не, ну так-то категория функторов существует
AN
А Angmarr и Егор Скобка?
Егор вообще на андроиде. А Игорь из ФП по-моему только кото-бота делает
AN
А при чем тут корень из двух?
нормировка
(
Егор вообще на андроиде. А Игорь из ФП по-моему только кото-бота делает
Так а мы по чему ФПшность смотрим, по основному роду деятельности? Так-то и у меня на гитхабе есть репы со скалкой и лином