Visitar URL original
TypeSpecifier—Wolfram Documentation

WOLFRAM

Wolfram Language & System Documentation Center

"TypeSpecifier" (Compiled Type)

"TypeSpecifier"::[t]

is a type representing another type t.

Details

  • The relationship between "TypeSpecifier"::["MachineInteger"] and "MachineInteger" is analogous to the relationship between the expression TypeSpecifier["MachineInteger"] and the numeric expression 2.
  • Terms with a "TypeSpecifier" type can be stored in variables and passed to functions.
  • The "TypeSpecifier" type can be used to define functions that accept types as arguments, such as Cast.
  • The "TypeSpecifier" type is only used for manipulation by the type system.

Constructors

  • TypeSpecifier[t] constructs an object with type "TypeSpecifier"::[t].
  • t must be fully resolvable at compilation time.
  • TypeOf[x] returns the type of the object x.

Conversions

    Expressions

  • Expressions of the form TypeSpecifier[t] are converted to and from the type "TypeSpecifier"::[t].

Examples

open all close all

Basic Examples  (2)

Compile a program that returns a "TypeSpecifier" type:

Wolfram Language code: cf = FunctionCompile[Function[{}, TypeSpecifier["ListVector"::["Integer64"]]]]
Wolfram Language code: cf[]

Store a "TypeSpecifier" type in a variable for use in a later evaluation:

Wolfram Language code: cf = FunctionCompile[Function[Typed[arg, "Integer64"], With[{ty = TypeSpecifier["Real64"]}, Cast[arg, ty] ] ]]
Wolfram Language code: cf[12]

Scope  (1)

Use TypeOf inside of a call to TypeSpecifier:

Wolfram Language code: cf = FunctionCompile[Function[Typed[arg, "Real64"], TypeSpecifier["ListVector"::[TypeOf[arg]]] ]]
Wolfram Language code: cf[12.2]