Тёмный

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

JUG.SEV
Подписаться 289
Просмотров 4,3 тыс.
50% 1

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

Опубликовано:

 

28 сен 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 26   
@viktortsealov5903
@viktortsealov5903 9 месяцев назад
3:20: То есть все познания лектора по теме лекции - это "погуглить, посмотреть" перед лекцией?
@PublicAccount0
@PublicAccount0 4 года назад
да
@SergeyAlexeev-q5m
@SergeyAlexeev-q5m 4 года назад
Хороший доклад, но "да" через слово - это жесть. Очень сложно слушать таких спикеров.
@nottheevil
@nottheevil Год назад
А есть где-то полная лекция? Или ссылка на материал
@yarikleto5515
@yarikleto5515 2 года назад
жаль не успели рассказать до конца, было интересно!
@alexandrfolomkin9380
@alexandrfolomkin9380 4 года назад
Как бы да.
@alexandrkalabin7645
@alexandrkalabin7645 9 месяцев назад
35:35 Моноид. Категория из одного объекта. Множество с заданной бинарной операцией над одним из элементов множества и нейтральными по отношению к данному множеству элементом.
@zaretskysa
@zaretskysa 3 года назад
Ну конечно да!
@anoona5015
@anoona5015 3 года назад
да да и ещё раз да
@aleksandrkravtsov8727
@aleksandrkravtsov8727 4 года назад
блэ) вот что теоркат делает с людьми)
@romk224
@romk224 2 месяца назад
Едрить он ноги тренирует :)
@vsezanyato
@vsezanyato 3 года назад
Да да да да да да да да да да да да
@maksim-surov
@maksim-surov Год назад
Ой.. не хочу занудствовать, но лектора понять невозможно: тип -- это множество, функция принимает тип и возвращает тип, таким образом строим категорию. Приводит пример и тут оказывается, как и следовало ожидать, что функции всё-таки принимают и возвращают переменные, а не типы. Ну, и как же тогда определена категория? что является объектами, а что стрелками? Очень сумбурный рассказ. Всё-таки стоит готовиться к публичным выступлениям.
@rednil8242
@rednil8242 2 года назад
Да?
@АнимусАнанимус
@АнимусАнанимус 4 года назад
Круто! Только это "да" после каждого утверждения или вопроса - такое себе. Слово-паразит 😁
@PublicAccount0
@PublicAccount0 4 года назад
да
@surtivmak4715
@surtivmak4715 3 года назад
Дон дон
@moshamiracle
@moshamiracle Год назад
вот да
@artem.s
@artem.s Год назад
Цитаты на 35’40”: «моноид - категория из одного объекта» и далее моноид «это категория, где у нас есть объекты» - так один объект или множество? 🤔
@RomanVasilevich
@RomanVasilevich 3 года назад
Не понимаю как вы в таком интересном докладе слышите слова «паразиты». Увидел кучу дизлайков - удивился и открыл комментарии. Странно, что про цвет кроссовок никто не написал...
@dixydo
@dixydo 3 года назад
Человек, которы действительно знает, так не говорит.
@RomanVasilevich
@RomanVasilevich 3 года назад
@@dixydo знает что? К сути доклада есть претензии?
@dixydo
@dixydo 3 года назад
@@RomanVasilevich Просмотрел первые 20 минут и слишком уж много воды. Думаете, стоит ещё раз попробовать?
@rednil8242
@rednil8242 2 года назад
@@RomanVasilevich слова - это и есть суть доклада. Определения и в Википедии изложены, задача докладчика - донести их до аудитории.
@xXxPontijPilatxXx
@xXxPontijPilatxXx 9 месяцев назад
Согласен. Вникал в суть настоящего материала и обращал внимание только на содержание лекции, так что вообще слова-паразиты слух не резали. Вот если бы мне было скучно, то я обращал бы внимание на что угодно другое. А так -- лектор уверенно говорит и нечасто запинается, все очень даже слушабельно. Люди вообще не к тем вещам претензии выстраивают, а между прочим к содержанию лекции действительно собралось некоторое количество вопросов.
@bobbikzdo5314
@bobbikzdo5314 4 года назад
мне кажется что это эканье и бэканье сам автор понять не сможет)
Далее
Меня Забанили в Steam CS2 / PUBG
19:19
Просмотров 194 тыс.
Functional programming design patterns by Scott Wlaschin
1:05:44
A Crash Course in Category Theory - Bartosz Milewski
1:15:14
A Sensible Introduction to Category Theory
26:20
Просмотров 435 тыс.