<aside> 📌

Полный список вопросов:

https://github.com/Kakadu/fp2024/blob/master/exam.md

</aside>

Краткий гайд по основам notion

Краткий гайд как ТеXать

Осталось после рефакторинга вопрсов (кажется написано по статье с хабра)

7. Про функторы и аппликативы

Расписанные вопросы

1. Функции в программировании и функции в математике. Сходства и отличия. ☭ Понятия чистой функции, тотальной функции.

2. ‡ Алгебраические типы данных. Что такое и в чем их алгебраичность? (Два объяснения) Boolean blindness. Вывод zipper-ов для списков и деревьев.

3. ‡Хвостовая рекурсия. Уметь объяснять, чем хвостовая лучше обычной рекурсии примерах. ☭ Понятие замыкания.

4. Continuation passing style. Преобразование функций из стандартного (direct) стиля в CPS

5. Лямбда-отчисление

6. ‡ Определение монады. Стандартные монады: Option, Result, List, Identity, Parser, Concurrency. Задача про CPS

7. Аппликативные функторы. Чем отличаются от монад, и когда их стоит предпочитать монадам?

8. Модульная парадигма программирования. Модули и функторы OCaml. Структура и сигнатура. Понятие абстрактного типа данных

9. Парсер-комбинаторы. Понятие AST.

10. Унификация и подстановки. Occurs check. Связь понятия PFDS и подстановок.

11. ‡ STLC. Понятие схемы типов.