Сборка `программистских` статей "про категории"

Nov 21, 2014 09:04

Нуу, программистскими те объяснения можно считать условно, но всё-таки.
http://bartoszmilewski.com/category/category-theory/
Всё-всё не читал, но что проглядел - вроде, неплохо написано.
(жаль, но забыл уже, кто мне ссылку подогнал, а то поблагодарил бы)

Leave a comment

Comments 68

beroal November 21 2014, 12:49:21 UTC
Мне кажется, мы это уже видели. Попытка преподать теорию категорий людям, которые не знают основ абстрактной алгебры и order theory. С места в карьер. Возможно, у них все программисты в обязательном порядке это учат. У меня сложилось такое впечатление.

Из хорошего, мне понравилась аналогия с собором в Бове. :-)

А теорию категорий для программистов можно изложить одним предложением. Теория категорий для программистов - это теория категорий для математиков после того, как программисты изучат немножко математики. ;-)

Reply

zeit_raffer November 21 2014, 19:57:06 UTC
Ну хорошо, а как же такой литературный жанр, как популярная математика (и не только математика)? Всякие Гарднеры и Конвеи, да и отечественные книжки были тоже хорошие, причем в количестве. Можно рассматривать "ТК для программистов" именно как подобную популярную литературу.

Reply

beroal November 22 2014, 11:06:08 UTC
Можно, конечно. Рассматривает ли автор свои статьи так? Популярная литература предназначена для детей, а программист с дипломом не ребёнок. :-) Кроме того, автор довольно глубоко забирается в теорию категорий.

Кстати, в СССР выпускали научно-популярные книги по абстрактной алгебре для школьников. Я думаю, даже в научно-популярной не повредит связывать разделы математики.

Reply

udpn August 6 2016, 22:36:05 UTC
Так эта литература была про то, как сделать людей математиками.

Reply


oskar_808 November 12 2015, 18:11:22 UTC
С днём рождения!

Reply

nivanych November 12 2015, 22:23:06 UTC
Спасибо!

Reply


udpn August 6 2016, 22:39:51 UTC
(И только сейчас я понял, что два года почти не заходил в ЖЖ.)

Reply

nivanych August 6 2016, 22:43:52 UTC
Ну так именно я-то особенно ничо и не писал.

Reply

udpn August 6 2016, 23:27:44 UTC
Так вот я-то помню, что ещё писал.

Reply


Афтар блоха влез и хамским тоном предложил нам dascha_biryuck January 6 2017, 22:01:17 UTC
покинуть его владения.

Ну, я ему соответственно и ответила. Он первый начал, я ему не грубила.

Так что продолжать общение мы можем либо у вас, либо у меня.

Reply

Re: Афтар блоха влез и хамским тоном предложил нам nivanych January 6 2017, 22:05:19 UTC
Во-первых, это не автор, а один из посетителей.
Во-вторых, несмотря на излишнюю грубость, он прав по существу - у каждого поста есть тематика и её необходимо соблюдать.
Люди подписываются и ждут сообщения по теме и заставлять их читать что-то совершенно отвлечённое - неправильно.

Reply

Re: Афтар блоха влез и хамским тоном предложил нам dascha_biryuck January 6 2017, 22:11:34 UTC
Разве посетитель? Гаврилов - автор.

Правота по существу не дает права на грубость. Мешаем - скажи. Но культурно. Мы уйдем. А ты, гад, что делаешь?

Пусть обсуждают свой термояд, я непротив. Несмотря на то, что я вполне допускаю, что они опоздают. Мы уйдем раньше, чем они склепают свой термоядерный котел.

Reply

Re: Афтар блоха влез и хамским тоном предложил нам dascha_biryuck January 6 2017, 22:13:42 UTC
Да, кстати, прошла по ссылке. Любопытно. Но тот шарик походил на лабораторный. Просуществовал недолго и ничего особенного не вытворял. Но все равно весьма любопытно.

Reply


katsaylidiru June 26 2017, 15:46:59 UTC
Спасибо за комментирование моего журнала, рад буду дружбе с вами, возьмете в друзья?!

Reply

nivanych June 26 2017, 15:48:24 UTC
Зачем это вам?
В подзамок я не пишу, да и вообще пишу мало...

Хорошо, я открою и просмотрю ваш журнал как-нибудь.
Может быть, и добавлю.

Reply

katsaylidiru June 26 2017, 16:14:11 UTC
Спасибо, буду рад:)

Reply


Leave a comment

Up