Elixir, BEAM и теория категорий — зачем программисту вся эта математика?

Описание

В этом выпуске я начинаю с Elixir и BEAM, а заканчиваю теорией категорий, логикой, множествами и Гёделем.

Это не академическая лекция и не «популярная математика», а попытка объяснить, как всё это связано с реальной разработкой.

Разбираем:

— зачем вообще Elixir
— что такое BEAM и OTP
— параллелизм и event loop
— функциональное vs императивное
— почему программисту полезно понимать логику
— теорию множеств
— теорию категорий
— морфизмы и изоморфизмы
— и зачем вообще приводят пример с Сократом

Видео сделано на основе стрима — без вырезания контекста и с объяснениями по ходу.

Для хейтеров про монады

Я использую относительные монады — это понятие шире классических. https://arxiv.org/abs/1412.7148
Если интересно, гуглится как: “monads need not be endofunctors”

Если вы:
— хотите глубже понимать программирование
— чувствуете, что «код — это не всё»
— или просто интересно, как всё связано

Залетайте на стримы.

00:00:00 – В чем прикол Elixir?
00:00:50 — Пример лямбд из ИТМО
00:01:20 — Немножко про BEAM
00:01:36 — Немножко про Erlang
00:02:49 — Немножко про Haskell
00:03:25 — Elixir как TypeScript
00:04:17 — Немножко про императивное vs функциональное программирование
00:05:20 — Про синтаксис Elixir-а
00:05:36 — Немножко про OTP, 99.9999999%, параллелизм и supervisors
00:12:10 — Немножко про параллелизм, event loop и многопоточность
00:16:38 — Про функциональное программирование для javascript-разработчиков
00:17:23 — Опять про логику и математику
00:20:45 — Принцип исключенного третьего
00:23:23 — Опять про теорию множеств для программистов
00:23:50 — Про «Чайник Рассела», Бертрана Рассела, бремя доказательства, парадокс теории множеств и логические ошибки
00:27:32 — Поверхностно про Гёделя и его неполноту
00:28:25 — Поверхностно про равенство полных и неполных задач (p = np) и причём тут шахматы
00:29:20 — Теория категорий и уровни математики
00:31:38 — Определение категорий для программиста
00:32:27 — Что такое теория множеств для программиста
00:34:29 — Почему вообще используют пример с Сократом
00:35:17 — Поверхностно множество Universe и её парадокс
00:35:40 — Логичное объяснение теории категорий и причём тут энтимема
00:39:42 — Немножко про морфизмы и изоморфизмы
00:43:20 — Кусок со стрима про openclaw
00:44:12 — Возвращаюсь в композицию
00:45:10 — И в чём смысл истин Set, Grp, Vect и прочих?
00:47:10 — И теперь мы возвращаемся обратно к Elixir
00:47:20 — Синтаксис, модули и атомы в Elixir
00:48:03 — Pattern matching или сопоставление с образцом в Elixir на примере a = 10 и 10 = a, а также pipe оператор и guards
00:55:52 — Сколько лет на это всё ушло у меня и зачем вообще что-то рассказываю
00:57:20 — Что остается в математике или карта математики или map of math моими глазами
01:03:35 — Немножко про DevBSD

Где меня найти

▶ Twitch (стримы):
https://www.twitch.tv/marat_zimnurov

▶ Telegram — про программирование и дайджесты:
https://t.me/digitable_blog

▶ Пост про цветовую теорию, который упоминаю в видео:
https://t.me/digitable_blog/30

▶ Проекты и услуги:
https://digitable.ru/

▶ GitHub:
https://github.com/the-homeless-god

Остальные контакты — в шапке канала.

Если вы:
— давно хотите начать программировать
— уже пишете код, но кажется, что «чего-то не знаете»
— хотите понять, как выглядит реальная разработка без глянца

Подписывайтесь и залетайте на стримы.

Поддержать канал можно подписавшись сюда и на телегу https://t.me/digitable_blog или на Twitch через кнопку донатов.
Если будет смысл и спрос — со временем заведу Boosty, но пока без фанатизма

• Про BEAM можно почитать – dev.to: BEAM: Простыми словами https://dev.to/adamanq/beam-prostymi-slovami-3104
• Общая сводка про Elixir – youtube: fireship: Elixir in 100 seconds (если нужно переозвучу и выложу на канал как перевод) https://www.youtube.com/watch?v=R7t7zca8SyM
• Хороший курс про Elixir – youtube: playlist: Elixir - функциональная разработка https://www.youtube.com/playlist?list=PLWlFXymvoaJ_SWXOOm2JSqv86ZBkQ9-zo
• Хороший видос про теорию групп – youtube: Теория групп и 196883-мерный монстр https://www.youtube.com/watch?v=aCvnUuYaRH8
• Хороший видос про youtube: Уровни математики. Как возникает алгебра и теория категорий? https://www.youtube.com/watch?v=7peIaVJj_pg
• Хороший видос про youtube: Язык категорий – на английском – если нужно, то тоже могу перевести https://www.youtube.com/watch?v=5Ykrfqrxc8o