8.2. Untyped Variables, Parameters, Return Values, and Expressions

A variable or parameter whose definition includes a type annotation is said to be a typed variable or typed parameter. Likewise, a function definition that includes a return-type annotation is said to have a typed return value. Furthermore, an expression that refers to a typed variable or a typed parameter, or calls a function with typed return value is known as a typed expression.

Conversely, a variable or parameter whose definition does not include a type annotation is said to be an untyped variable or untyped parameter. Likewise, a function definition that does not include a return-type annotation is said to have an untyped return value. An expression that refers to an untyped variable or an untyped parameter, or calls a function with an untyped return value is known as a untyped expression.