Compiled Types

The Wolfram Compiler provides advanced compilation capabilities to process an increasingly wide range of Wolfram Language code into native machine code. A key part of this process is type inferencing. This uses minimal type annotations to determine types for entire functions and groups of functions.

Core Atomic Types

"Boolean" a Boolean atomic type specifier

Integral Types

"Integer8" an 8-bit machine integer type specifier

"UnsignedInteger8" an unsigned 8-bit machine integer type specifier

"Integer16" a 16-bit machine integer type specifier

"UnsignedInteger16" an unsigned 16-bit machine integer type specifier

"Integer32" a 32-bit machine integer type specifier

"UnsignedInteger32" an unsigned 32-bit machine integer type specifier

"Integer64" a 64-bit machine integer type specifier

"UnsignedInteger64" an unsigned 64-bit machine integer type specifier

"MachineInteger" a machine-sized signed integer type specifier

"UnsignedInteger64" a machine-sized unsigned integer type specifier

Real Types

"Real32" an IEEE single-precision real type specifier

"Real64" an IEEE double-precision real type specifier

Complex Types

"ComplexReal64" a complex number with IEEE double-precision real and imaginary parts type specifier

Compound Types

"PackedArray" a packed array composite type specifier

"NumericArray" a numeric array composite type specifier

Function Type

{type1,type2,}type a function with specified arguments and result

Using Compiled Types

Typed specify a type for a program element such as a function argument

TypeSpecifier create a compound type such as a packed array

FunctionCompile compile Wolfram Language code into optimized machine code