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

В этом выпуске я начинаю с Elixir и BEAM, а заканчиваю теорией категорий, логикой, множествами и Гёделем. Это не академическая лекция и не «популярная математика», а попытка объяснить, как всё это связано с реальной разработкой. Разбираем: — зачем вообще Elixir — что такое BEAM и OTP — параллелизм и event loop — функциональное vs императивное — почему программисту полезно понимать логику — теорию множеств — теорию категорий — морфизмы и изоморфизмы — и зачем вообще приводят пример с Сократом Видео сделано на основе стрима — без вырезания контекста и с объяснениями по ходу. Для хейтеров про монады Если интересно, гуглится как: “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 — Про «Чайник...