yigal_s: (Default)
[personal profile] yigal_s
Бартош Милевский (на редкость умный и вменяемый человек, между прочим) последнее время, оказывается, трудился над видеороликами по теории категорий для программистов.

https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

Лично я эту тему за последние годы позорно слил (о чем не сильно жалею, т.к. продуктивно занимался иными бесполезными вещами), т.е. я до сих пор понятия не имею, ни что такое теория категорий, ни нафига козе баян, т.е. что хорошего может программист получить, зная теорию категорий.

Но, может, кому это и пригодится, может даже и мне.

----

Одно время я, кстати, попытался претворить в жизнь пару-тройку лекций Милевского по использованию в С++ асинхронных монад, но ничего экстремально хорошего из этого не вышло, так что Милевского тоже надо читать и слушать аккуратно. Но всё же я о нем слова плохого не скажу, побольше бы таких.

Date: 2017-05-01 08:15 pm (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Он хороший человек.

А насчет категорий - так это мгновенно в голову не проникает; как и на хаскель, или как на китайский, требуется время.

Date: 2017-05-01 08:53 pm (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Он отлично излагает. Просто все равно требуется время.