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);
    }
}

変更点は：

• lambda式を使って短く書く
• zeroをmainの関数内関数にすることでdelegate_from_functionを省く
• succはbug8198のせいでネストしたlambda式を書けない。修正Patchを投げる予定投げました
• zeroやsuccの複雑なシグネチャは省略できない(省くとそもそも型推論ができないので)

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