Typed[expr,type]

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

Details

Examples

open allclose all

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:

Possible Issues  (1)

Use in Evaluated Code  (1)

Typed can be used in the body of a function:

When compiled, it is used to guide the type inferencing process:

However, when evaluated, Typed is treated as an inert expression:

It is better to use TypeHint in the body of a function:

When compiled, it is used to guide the type inferencing process:

However, when evaluated, TypeHintis stripped out:

Wolfram Research (2019), Typed, Wolfram Language function, https://reference.wolfram.com/language/ref/Typed.html.

Text

Wolfram Research (2019), Typed, Wolfram Language function, https://reference.wolfram.com/language/ref/Typed.html.

CMS

Wolfram Language. 2019. "Typed." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Typed.html.

APA

Wolfram Language. (2019). Typed. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Typed.html

BibTeX

@misc{reference.wolfram_2023_typed, author="Wolfram Research", title="{Typed}", year="2019", howpublished="\url{https://reference.wolfram.com/language/ref/Typed.html}", note=[Accessed: 19-March-2024 ]}

BibLaTeX

@online{reference.wolfram_2023_typed, organization={Wolfram Research}, title={Typed}, year={2019}, url={https://reference.wolfram.com/language/ref/Typed.html}, note=[Accessed: 19-March-2024 ]}