WOLFRAM

Wolfram Language & System Documentation Center

"InertExpression" (Compiled Type)

"InertExpression"

represents an inert expression that is not automatically evaluated.

Details

  • "InertExpression" can be used in Typed and related constructs to specify a type.
  • "InertExpression" objects are automatically memory managed.
  • "InertExpression" objects are internally represented identically to Wolfram Language expressions.
  • "InertExpression" objects are inert and will only evaluate on calls to InertEvaluate.

Constructors

  • InertExpression[expr] constructs an inert expression object from the constant expr.
  • head[arg1,arg2,…] constructs an inert expression head[arg1,arg2,…] where head is an inert expression and arg1 etc... are converted into inert expressions.
  • Construct[head,arg1,arg2,…] constructs an inert expression head[arg1,arg2,…] where head is an inert expression and arg1 etc... are converted into inert expressions.

Properties

Conversions

    Expressions

  • Inert expressions are automatically converted to and from expressions when passed between evaluated and compiled code. »

Examples

open all close all

Basic Examples  (2)

Compile a program that returns an inert expression:

Run the program:

Inert expressions can be manipulated without being evaluated:

Scope  (4)

Inert expressions are automatically converted to expressions and evaluated when returned from compiled code:

Construct an inert expression:

Construct an inert expression, wrapping it in Hold before returning from compiled code:

The command Construct can also be used:

Properties & Relations  (1)

Inert expressions can be evaluated with InertEvaluate: