Design Issues for Functions

• Are side effects allowed?  (through alaiaing of parameters and globals)

 
Should parameters to functions always be in mode?
 
• What types of values can be returned?

 
Most languages only return unstructured types
C return any type via pointer
Ada return any type