Typed[expr,type]

represents an expression that should be assumed to be of a specified type for compilation and other purposes.

Details

Examples

Basic Examples  (1)

Typed can be used to mark the suggested type of function arguments:

For computation in the Wolfram Engine the use of Typed is advisory:

FunctionCompile uses Typed for inferencing the types of code:

If the argument of a CompiledCodeFunction matches the declared type, the computation proceeds:

If the type of an argument does not match the declared type, an error results:

Introduced in 2019
 (12.0)