Next: Non Scalar Function Returns, Previous: Variadics, Up: Procedural Language Interpreter [Index]
aime functions may allow typeless anonymous arguments. The syntax indicating such arguments is the one indicating typed arguments, except of course, the argument type and name are missing. The ‘&’ sign requesting the arguments are passed by reference may appear.
See Procedural Language Syntax.
The anonymous arguments may be accessed by position.
See Positional Arguments Access.
The arguments typelessness does not break the aime static typed character, as it does not imply expression type indetermination. Every aime expression still has a type that can be derived without executing the larger aime program, as an empty syntax and indeed a function parameter declaration do not amount to an expression.
The parser should be indicated that type generic interfaces are to be allowed if the typeless anonymous arguments syntax is to be recognized.