(> это превышает возможности лямбды) --- Нет, это не так. Комбинатор Y подобен самой известной из существующих абстрактных конструкций, и он делает это без всяких взломов.
ая функция может содержать вызов для себя в своем определении, без проблем. Я не могу понять, как это сделать с помощью лямбда-функции, хотя по той простой причине, что у лямбда-функции нет имени, на которое можно сослаться. Есть ли способ сделать это? Как?