logo
АСНИ

Производные типы

Указатели

тип*

i32* — указатель на 32-битное целое

Массивы

[число элементов x тип]

  • [10 x i32]

  • [8 x double]

Структуры

{ i32, i32, double }

Вектор — специальный тип для упрощения SIMD-операций. Вектор состоит из 2n значений примитивного типа — целого или с плавающей точкой.

< число элементов x тип >

< 4 x float > — вектор XMM

Функции

  • i32 (i32, i32)

  • float ({ float, float }, { float, float })

Система типов рекурсивна, то есть можно использовать многомерные массивы, массивы структур, указатели на структуры и функции и т. д.