TypeEvaluate
TypeEvaluate[expr]
represents a type created by evaluating expr.
Details

- TypeEvaluate can be used inside of ForAllType.
- TypeOf can be used inside TypeEvaluate to determine the type.
Examples
open allclose allBasic Examples (2)
Represent the type of a function that accepts a packed array with rank r and returns a packed array with rank r+1:
Compile a program using a function with that type:
TypeOf can be used with TypeEvaluate to determine the type in a declaration:
Scope (1)
TypeOf can be involve nested code:
Text
Wolfram Research (2022), TypeEvaluate, Wolfram Language function, https://reference.wolfram.com/language/ref/TypeEvaluate.html.
CMS
Wolfram Language. 2022. "TypeEvaluate." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/TypeEvaluate.html.
APA
Wolfram Language. (2022). TypeEvaluate. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/TypeEvaluate.html