DB
Это Practical haskell или Beginning jaskell?..
2 в 1
Size: a a a
2021 February 03
AV
Там и в проде юзали )
Круто. Я не видел
ХГ
2 в 1
Спасибо...
JS
То же самое что и хаскель решает сча...
... ничего 😅
... ничего 😅
что за инсинуации? Хаскель в проде уже всех порешал
AS
Круто. Я не видел
Лучше там спросить.
AS
что за инсинуации? Хаскель в проде уже всех порешал
шутка же )
JS
шутка же )
а ещё можно голову оторвать и назвать это шуткой
AS
а ещё можно голову оторвать и назвать это шуткой
если голову списка - то паттерн-матчингом ))
NI
если голову списка - то паттерн-матчингом ))
Список проснулся, в голова его в тумбочке...
JS
Список проснулся, в голова его в тумбочке...
boxed
YP
Монада как тумбочка.
AS
Список проснулся, в голова его в тумбочке...
Спискам вообще лучше не расслабляться...
А то проснешься, а у тебя уже хвост вместо головы
А то проснешься, а у тебя уже хвост вместо головы
AS
Да хоть в чём)
То, что его в проде не особо используешь, это понятно.
То, что его в проде не особо используешь, это понятно.
Если интересно влезть в зависимые типы, то рекомендую почитать книжку Type driven development
Оч. подробно всё объясняется. После неё хоть в Coq
Оч. подробно всё объясняется. После неё хоть в Coq
DB
Здравствуйте! Кто скажет точное определение для функций типа a->a?
Шо?
NI
Здравствуйте! Кто скажет точное определение для функций типа a->a?
"Эндоморфизм"
BK
"Эндоморфизм"
Ага, спасибо. Значит я правильно понял начало книги про категории. А можно ли считать эндоморфизм частным случаем моноида?
NI
Ага, спасибо. Значит я правильно понял начало книги про категории. А можно ли считать эндоморфизм частным случаем моноида?
В некотором смысле. Не так, как сказано, но мысли в правильном направлении.
Множество эндоморфизмов образует моноид относительно их композиции.
Любое его подмножество порождает какой-то моноид.
Множество эндоморфизмов образует моноид относительно их композиции.
Любое его подмножество порождает какой-то моноид.
BK
Вступление от переводчика · Bartosz Milewski - Category Theory for Programmers
https://0nkery.gitbooks.io/bartosz-milewski-category-theory-for-programmers/content/
https://0nkery.gitbooks.io/bartosz-milewski-category-theory-for-programmers/content/