Lesson 3. Introduction to Theory of Categories

Questions:

- Declarative vs Imperative programming
- What's theory of categories
- Provide a few example unsolvable tasks with usage of Declarative programming
- How to optimize tail recursion?

Materials for self-preparation:

- https://www.youtube.com/watch?v=aCvnUuYaRH8

- https://www.youtube.com/watch?v=7peIaVJj_pg or https://vkvideo.ru/video-91031095_456245200

- https://neerc.ifmo.ru/wiki/index.php?title=%D0%9B%D1%8F%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5

- https://neerc.ifmo.ru/wiki/index.php?title=%D0%9D%D0%B5%D1%80%D0%B0%D0%B7%D1%80%D0%B5%D1%88%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%B7%D0%B0%D0%B4%D0%B0%D1%87%D0%B8_%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D0%B0_%D1%82%D0%B8%D0%BF%D0%BE%D0%B2_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B5_%D1%81_%D0%B7%D0%B0%D0%B2%D0%B8%D1%81%D0%B8%D0%BC%D1%8B%D0%BC%D0%B8_%D1%82%D0%B8%D0%BF%D0%B0%D0%BC%D0%B8

Что было сделано за прошедший инкремент:

– Пробежались по всей математике
– Заглянули в p ≠ np or p = np
– Пробежались по алгоритмическим сложностям o(n) и O(n)
– Разобрали решение задачи со множествами через императивный и декларативные пути

Рекомендации к прочтению:

– Совершенный алгоритм, Тим Рафгарден
– Гипотеза Пуанкаре-Перельмана
– Декларативные языки программирования
– Оптимизация хвостовой рекурсии
– Реализация head / tail в декларативных языках программирования