AG
какой то душный чел
Size: a a a
2020 December 22
E
короч я пришел к выводу что надо переделывать всё на морфизмы
а посоветуй какую-то книгу по вот этому всему заумному, после котов возьмусь
AG
даже не то чтобы ебанатика, скорее напоминает какого то школьника, который доказывает что бэтман круче спайдермена
E
даже не то чтобы ебанатика, скорее напоминает какого то школьника, который доказывает что бэтман круче спайдермена
что самое смешное, это тред на 2500 комментариев, и вот эту всю хуйню я от одного конкретного чела кидаю
AG
а посоветуй какую-то книгу по вот этому всему заумному, после котов возьмусь
по пруфам тип?
E
а посоветуй какую-то книгу по вот этому всему заумному, после котов возьмусь
по зигогумоноидам и тд и тп
AG
что такое зигогумоноиды
AG
если ты хочешь про моноиды то это надо алгебру и теоркат читать
AG
если про леммы то логику и формальные методы
E
по пруфам тип?
ну вообще чето матанское, пруфы, как я понимаю, из этой категории. только просьба что-то рассчитанное на новичков или с хорошими пояснениями
AG
ну что значит матанское :(
E
если ты хочешь про моноиды то это надо алгебру и теоркат читать
о, бля
E
я вспомнил с functional Scala, там же Бартош выступал, и у него какая-то интересная книга была
E
хех, теоркат
E
прям как по заказу
w
ущерб читаемости, и не в ботлнеке (сам таким иногда страдаю)
E
бля, красиво выглядит
E
может себе физическую копию заказать