Алексей Воронец - Categorized It. Кратко о теории категорий и функциональном программировании

Что такое теория категорий?
Теория категорий - это очень сложно?
Почему это может быть интересно?
Как это связано с функциональным программированием?
Теория категорий и Scala.

[@PublicAccount0]

да

[@viktortsealov5903]

3:20: То есть все познания лектора по теме лекции - это "погуглить, посмотреть" перед лекцией?

[@kiss-liava]

А есть где-то полная лекция? Или ссылка на материал

[@yarikleto5515]

жаль не успели рассказать до конца, было интересно!

[@moshamiracle]

вот да

[@user-ex4ll1ky4r]

Хороший доклад, но "да" через слово - это жесть. Очень сложно слушать таких спикеров.

[@rednil8242]

Да?

[@alexandrfolomkin9380]

Как бы да.

[@zaretskysa]

Ну конечно да!

[@artem.s]

Цитаты на 35’40”: «моноид - категория из одного объекта» и далее моноид «это категория, где у нас есть объекты» - так один объект или множество? 🤔

[@alexandrkalabin7645]

35:35 Моноид. Категория из одного объекта. Множество с заданной бинарной операцией над одним из элементов множества и нейтральными по отношению к данному множеству элементом.

[@user-dn7qr7vs1h]

Круто! Только это "да" после каждого утверждения или вопроса - такое себе. Слово-паразит 😁

[@PublicAccount0]

да

[@surtivmak4715]

Дон дон

[@RomanVasilevich]

Не понимаю как вы в таком интересном докладе слышите слова «паразиты». Увидел кучу дизлайков - удивился и открыл комментарии. Странно, что про цвет кроссовок никто не написал...

[@dixydo]

Человек, которы действительно знает, так не говорит.

[@RomanVasilevich]

@@dixydo знает что? К сути доклада есть претензии?

[@dixydo]

@@RomanVasilevich Просмотрел первые 20 минут и слишком уж много воды. Думаете, стоит ещё раз попробовать?

[@rednil8242]

@@RomanVasilevich слова - это и есть суть доклада. Определения и в Википедии изложены, задача докладчика - донести их до аудитории.

[@xXxPontijPilatxXx]

Согласен. Вникал в суть настоящего материала и обращал внимание только на содержание лекции, так что вообще слова-паразиты слух не резали. Вот если бы мне было скучно, то я обращал бы внимание на что угодно другое. А так -- лектор уверенно говорит и нечасто запинается, все очень даже слушабельно. Люди вообще не к тем вещам претензии выстраивают, а между прочим к содержанию лекции действительно собралось некоторое количество вопросов.

[@maksim-surov]

Ой.. не хочу занудствовать, но лектора понять невозможно: тип -- это множество, функция принимает тип и возвращает тип, таким образом строим категорию. Приводит пример и тут оказывается, как и следовало ожидать, что функции всё-таки принимают и возвращают переменные, а не типы. Ну, и как же тогда определена категория? что является объектами, а что стрелками? Очень сумбурный рассказ. Всё-таки стоит готовиться к публичным выступлениям.

[@anoona5015]

да да и ещё раз да

[@aleksandrkravtsov8727]

блэ) вот что теоркат делает с людьми)

[@vsezanyato]

Да да да да да да да да да да да да

[@bobbikzdo5314]

мне кажется что это эканье и бэканье сам автор понять не сможет)