编译类型

Wolfram 编译器提供高级的编译能力,可将越来越多的 Wolfram 语言代码转换成本机机器代码.此过程的关键部分是类型推断. 它使用最小类型注释确定整个函数和函数组的类型.

核心原子类型

"Boolean" 布尔原子类型符

"String" 字符串类型指定符

"InertExpression" 惰性表达式类型符

整数类型

"Integer8" 8 位机器整数类型符

"UnsignedInteger8" 无符号 8 位机器整数类型符

"Integer16" 16 位机器整数类型符

"UnsignedInteger16" 无符号 16 位机器整数类型符

"Integer32" 32 位机器整数类型符

"UnsignedInteger32" 无符号 32 位机器整数类型符

"Integer64" 64 位机器整数类型符

"UnsignedInteger64" 无符号 64 位机器整数类型符

"Integer128" 128 位机器整数类型符

"UnsignedInteger128" 无符号 128 位机器整数类型符

"MachineInteger" 机器大小有符号整数类型符

"UnsignedMachineInteger" 机器大小无符号整数类型符

实数类型

"Real32" IEEE 单精度实数类型符

"Real64" IEEE 双精度实数类型符

复数类型

"ComplexReal64" 具有 IEEE 双精度实部和虚部类型符的复数

复合类型

"PackedArray" 压缩数组类型说明符

"NumericArray" 数值数组类型说明符

"ByteArray" 字节数组类型说明符

"SparseArray" 稀疏数组类型说明符

"ListVector" 统一元素列表类型说明符

"Managed" 将内存管理添加到其他未管理类型的类型

函数类型

{type1,type2,}returnType 带有指定参数和结果的函数

C 类型

"CChar" C 字符类型符

"CShort" C 短类型符

"CUnsignedShort" C 无符号短类型符

"CInt" C 整数类型符

"CUnsignedInt" C 无符号整数类型符

"CLong" C 长类型符

"CUnsignedLong" C 无符号长类型符

"CLongLong" C 长长类型符

"CSizeT" C size_t 类型符

"CSSizeT" C ssize_t 类型符

"CFloat" C 浮点类型符

"CDouble" C 双精度类型符

"CArray" C 数组类型符

"CString" C 字符串类型符

"RawPointer" 指针类型符

"OpaqueRawPointer" 不透明指针类型符

声明已编译类型

TypeDeclaration 声明一个产品、摘要、宏或别名类型

CompiledExpressionDeclaration 表示表达式的类型声明

使用编译的类型

Typed 指定程序元素的类型,例如函数参数

TypeHint 为函数体内的程序元素指定类型

TypeSpecifier 创建复合类型,例如压缩数组

FunctionCompile 把 Wolfram 语言代码编译成优化的机器代码