Forward declarations

[bafto]

Das Problem

DDP hat das Problem, dass eine Funktion definiert sein muss bevor man sie aufrufen kann, da ihre Aliase sonst nicht bekannt sind. Das selbe Problem gibt es in C und C++:

int foo() {
    // error bar undefined
    return bar();
}
int bar() {
    return 1;
}

Die einfachste Lösung ist, die Funktionen einfach andersherum zu definieren. Das Funktioniert aber nicht wenn sie sich gegenseitig aufrufen:

int i = 10;
int foo() {
    // error bar undefined
    return i != 0 ? bar() : 1;
}

int bar() {
    i--;
    return foo();
}

In diesem Fall ist die Lösung eine forward-declaration:

int bar();
int i = 10;
int foo() {
    return i != 0 ? bar() : 1;
}

int bar() {
    i--;
    return foo();
}

Das bräuchte es auch in DDP um solche Konstrukte möglich zu machen.

Syntax Vorschlag

Die öffentliche Funktion bar mit den Parametern a, b und c vom Typ Zahl, Kommazahl und Text Referenz wird eine Zahl zurück geben und die Aliase 
"bar <a> <b> <c>", "<a> bar <b> <c>" und "barbara <a> bar <b> <c>" besitzen.

Solche Deklarationen müssen mit der späteren Definition eins-zu-eins übereinstimmen, bis auf die Aliase. Ich würde sagen es dürfen Aliase weggelassen werden, falls man in der forward-declaration nicht alle braucht.

Außerdem müssen alle Funktionen die man deklariert auch im selben Modul definiert werden.