Semantik von Unterprogrammen

Designfragen:

• Typprüfung
• generische Typen?
• Überladung von Namen?
• Wertübergabe
• lokale Unterprogramme erlaubt?
• Bürgerrechte für Unterprogramme?