Вопрос был про связь комбинатора неподвижной точки и рекурсии, а не про рекурсивные типы. Fix- это оператор неподвижной точки на тайплевеле, а вопрос про неподвижную точку впринципе. Тут надо советовать поупражняться в выражении рекурсивных функций через Y-комбинатор, например. Ну и вообще кидать презентации бессмысленно, т.к. 99% контекста утеряно (нет преподавателя, который сопровождает презентацию своей речью).
Обсуждают сегодня