на форуме через __traits, что-то вроде
int delegate(int) fac = (int n) => n == 0 ? 1 : n * __traits(parent, {})(n - 1);
writeln(fac(5)); //120
в ct
enum fac2=(function int(n) => n == 0 ? 1 : n * __traits(parent,{})(n-1))(5);
writeln(fac2); //120
Прост скопитырил и не пробовал менять на функции\делегаты\etc. В общем-то вложенные функции тож могут всё упростить, но это всёж не лямбды.
int fac(int n) => n == 0 ? 1 : n * fac(n - 1);
writeln(typeof(fac).stringof); //pure nothrow @nogc @safe int(int n)
Тут много можно поэкспериментировать. Ну и тема тесно связана с Y-комбинатором, он же комбинатор неподвижной точки, что юзается для реализации рекурсии без завязки её на внешние переменные. На розетте есть дишная реализация со структурой и шаблонами, емнип, но тема сама по себе достаточно обширная, там же можно по-разному его реализовать. Но нет времени на почитать, посмотреть, да поэкспериментировать всё никак. Вот скриншотик и лежит напоминанием)
А чё auto fact = delegate... Не будет работать?
Обсуждают сегодня