#стриминг #видосики #elixir #youtube

YouTube: https://youtu.be/Dss2cPIugmU
RuTube: https://rutube.ru/channel/38673349/

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

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

Разбираем:

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

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


• Про BEAM можно почитать – dev.to: BEAM: Простыми словами
• Общая сводка про Elixir – youtube: fireship: Elixir in 100 seconds (если нужно переозвучу и выложу на канал как перевод)
• Хороший курс про Elixir – youtube: playlist: Elixir - функциональная разработка
• Хороший видос про теорию групп – youtube: Теория групп и 196883-мерный монстр
• Хороший видос про youtube: Уровни математики. Как возникает алгебра и теория категорий?
• Хороший видос про youtube: Язык категорий – на английском – если нужно, то тоже могу перевести

Для хейтеров про монады – я использую «относительные монады» это понятие шире классических монад, суть такова что эндофункторы тут необязательны, гуглится через «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