169 похожих чатов

В поисках какой нибудь годной вводной литературы по теме "Теория

категорий". Можете что нибудь подсказать?

Пока что наткнулся на
Category Theory for Programmers By Bartosz Milewski

На мой обывательский взгляд выглядит интересно, но может уже у кого то есть опыт в этом деле :)

1 ответов

12 просмотров

Мне не понравилось, довольно много воды (в плане что пытается словами объяснить сложную математику) и уже во второй половине очень тяжело понимать, когда вводятся сложные понятия, а он продолжает много рассказывать. Я не дочитал. Мы на работе инициативной группой 4-5 человек, читали - слушали лекции, потом раз в неделю - две встречались обсуждали. Вот где-то на середине и бросили. Ну с допущением, что я не шипко умный для такого оказался :)

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта