Re: Properties

[Christopher Wright]

Miles wrote:
---------
        int func1() { return 1; }
        auto a = func1;         // 'a' is a pointer to func1
        auto b = &func1;    // ERROR, or deprecated way of above
        auto c = func1();       // calls func1 and returns int 1

        int function() func2 = func1;

        auto d = func2;         // 'd' is a pointer to func1
        auto e = &func2;    // 'e' is a ptr to ptr to func
        auto f = func2();       // calls func1 and returns int 1
---------

So you consider functions to be a reference type, since the value of a 
function is not terribly useful. You want the declarations "void foo() 
{}" and "invariant(void function()) foo = {};" to be equivalent.

This can work, provided you get properties. Otherwise you're back to 
Javaland.