Темы (предварительные) к экзамену по ФП 2023-2024
- Привести (подготовить заранее) трассу вычисления факториала (или фибоначчи) для каждой из стратегий (CBN, CBV, NO, AO) для "голого" лямбда исчисления. (Функцию и стратегию выбирает экзаменатор.) Демонстрировать понимание того, как проходят редукции в указанной стратегии
- Хвостовая рекурсия. Переход к хвостовой рекурсии на простых примерах
- Уметь объяснять, чем хвостовая лучше обычной обычной рекурсии
- TODO: дописать