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:

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.

BibTeX

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

BibLaTeX

@online{reference.wolfram_2021_typed, organization={Wolfram Research}, title={Typed}, year={2019}, url={https://reference.wolfram.com/language/ref/Typed.html}, note=[Accessed: 18-June-2021 ]}

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