function style

functionstyle.d

import std.stdio;

void main()
{
    T delegate(T) zero(T)(T delegate(T) f)
    {
        return x => x;
    }

    T delegate(T) delegate(T delegate(T)) succ(T)(T delegate(T) delegate(T delegate(T)) n)
    {
        return f => x => f(n(f)(x));
    }

    auto n = &zero!uint;
    foreach (i; 0..10)
    {
        writefln("i = %d: f(0) = %d", i, n(x => x + 1)(0));
        assert(n(x => x + 1)(0) == i);
        n = succ(n);
    }
}

• bug8198がfixされたので、コメントアウトしていたより短いコードに変更