WOLFRAM

Wolfram Language & System Documentation Center

TypeEvaluate[expr]

represents a type created by evaluating expr.

Details
Details and Options Details and Options
Examples  
Basic Examples  
Scope  
See Also
Tech Notes
Related Guides
History
Cite this Page

TypeEvaluate

TypeEvaluate[expr]

represents a type created by evaluating expr.

Details

Examples

open all close all

Basic 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:

Wolfram Language code: type = ForAllType[r, {"PackedArray"::["MachineInteger", r]} -> "PackedArray"::["MachineInteger", TypeEvaluate[r + 1]]];

Compile a program using a function with that type:

Wolfram Language code: cf = FunctionCompile[{ FunctionDeclaration[addRank, Typed[type]@Function[array, {array}]] }, Function[Typed[arg, "PackedArray"::["MachineInteger", 2]], addRank[arg]]]
Wolfram Language code: cf[{{1, 2, 3}, {4, 5, 6}}]

TypeOf can be used with TypeEvaluate to determine the type in a declaration:

Wolfram Language code: type = ForAllType[{elem}, Element[elem, "Numbers"], {elem} -> TypeEvaluate[TypeOf[Re[elem]]]];
Wolfram Language code: cf = FunctionCompile[FunctionDeclaration[MyFun1, Typed[type]@Function[x, Re[x]]], Function[Typed[arg, "ComplexReal64"], MyFun1[arg]]]
Wolfram Language code: cf[4. + 5. I]

Scope  (1)

TypeOf can be involve nested code:

Wolfram Language code: type = ForAllType[t, {t} -> TypeEvaluate[TypeOf[t + s, Typed[s, "Real64"]]]];

Compile a program using a function with the specified type:

Wolfram Language code: cf = FunctionCompile[{ FunctionDeclaration[addReal, Typed[type]@Function[x, x + 3.14]]}, Function[Typed[arg, "MachineInteger"], addReal[arg]] ]
Wolfram Language code: cf[10]
Wolfram Research (2022), TypeEvaluate, Wolfram Language function, https://reference.wolfram.com/language/ref/TypeEvaluate.html.

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

BibTeX

@misc{reference.wolfram_2026_typeevaluate, author="Wolfram Research", title="{TypeEvaluate}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/TypeEvaluate.html}", note=[Accessed: 12-June-2026]}

BibLaTeX

@online{reference.wolfram_2026_typeevaluate, organization={Wolfram Research}, title={TypeEvaluate}, year={2022}, url={https://reference.wolfram.com/language/ref/TypeEvaluate.html}, note=[Accessed: 12-June-2026]}