Hacker News Reader

Comment by fithisux | Hacker News Reader

While I like D and use it for scientific work, wwo "omissions" leave me a bitter taste. Nothrow and Pure are not part of the type signature of functions and consequently the compiler has limited inference about these. However I will keep using it unless something better comes up. C++/C# are not an option for me since I found D.

View on HN

>Nothrow and Pure are not part of the type signature of functions

Actually they are. Take a look at this example:

void main() {

    int delegate(int) @safe nothrow @nogc pure f;
    //This looks like something bad is happening, but the delegate literal 
    //actually has the proper attributes inferred so it Just Works
    f = delegate(int) { return 0; };

    int delegate(int) g;
    f = g; //Fails, as it should
}

I thought they are?

They are.

I stand corrected.

Reply on news.ycombinator.com