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

Рет қаралды 4,188

4 жыл бұрын

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

Пікірлер: 25

@PublicAccount0 3 жыл бұрын

да

@viktortsealov5903 6 ай бұрын

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

@kiss-liava Жыл бұрын

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

@moshamiracle 9 ай бұрын

вот да

@yarikleto5515 2 жыл бұрын

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

@rednil8242 2 жыл бұрын

Да?

@alexandrfolomkin9380 3 жыл бұрын

Как бы да.

@user-ex4ll1ky4r 3 жыл бұрын

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

@zaretskysa 3 жыл бұрын

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

@artem.s Жыл бұрын

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

@alexandrkalabin7645 6 ай бұрын

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

@maksim-surov 11 ай бұрын

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

@user-dn7qr7vs1h 4 жыл бұрын

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

@PublicAccount0 3 жыл бұрын

да

@surtivmak4715 3 жыл бұрын

Дон дон

@RomanVasilevich 3 жыл бұрын

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

@dixydo 2 жыл бұрын

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

@RomanVasilevich 2 жыл бұрын

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

@dixydo 2 жыл бұрын

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

@rednil8242 2 жыл бұрын

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

@xXxPontijPilatxXx 6 ай бұрын

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