Types¶
Various entities in WebAssembly are classified by types. Types are checked during validation, instantiation, and possibly execution.
Number Types¶
Number types classify numeric values.
The types
The types
Number types are transparent, meaning that their bit patterns can be observed. Values of number type can be stored in memories.
Conventions¶
The notation
denotes the bit width of a number type . That is, and .
Vector Types¶
Vector types classify vectors of numeric values processed by vector instructions (also known as SIMD instructions, single instruction multiple data).
The type
Vector types, like number types are transparent, meaning that their bit patterns can be observed. Values of vector type can be stored in memories.
Conventions¶
The notation
for bit width extends to vector types as well, that is, .
Reference Types¶
Reference types classify first-class references to objects in the runtime store.
The type
The type
The type
Reference types are opaque, meaning that neither their size nor their bit pattern can be observed. Values of reference type can be stored in tables.
Value Types¶
Value types classify the individual values that WebAssembly code can compute with and the values that a variable accepts. They are either number types, vector types, or reference types.
Conventions¶
The meta variable
ranges over value types or subclasses thereof where clear from context.
Result Types¶
Result types classify the result of executing instructions or functions, which is a sequence of values, written with brackets.
Function Types¶
Function types classify the signature of functions, mapping a vector of parameters to a vector of results. They are also used to classify the inputs and outputs of instructions.
Limits¶
Limits classify the size range of resizeable storage associated with memory types and table types.
If no maximum is given, the respective storage can grow to any size.
Memory Types¶
Memory types classify linear memories and their size range.
The limits constrain the minimum and optionally the maximum size of a memory. The limits are given in units of page size.
Table Types¶
Table types classify tables over elements of reference type within a size range.
Like memories, tables are constrained by limits for their minimum and optionally maximum size. The limits are given in numbers of entries.
Note
In future versions of WebAssembly, additional element types may be introduced.
Tag Types¶
Tag types classify the signature of tags with a function type.
Currently tags are only used for categorizing exceptions.
The parameters of
Note
Future versions of WebAssembly may have additional uses for tags, and may allow non-empty result types in the function types of tags.
Global Types¶
Global types classify global variables, which hold a value and can either be mutable or immutable.
External Types¶
External types classify imports and external values with their respective types.
Conventions¶
The following auxiliary notation is defined for sequences of external types. It filters out entries of a specific kind in an order-preserving fashion: