§3. Типы
OxL статически типизирован. Вывод типов локальный: типы параметров и возвращаемые типы pub/pub(api) функций ДОЛЖНЫ быть указаны; у приватных функций возвращаемый тип МОЖЕТ выводиться.
В этой главе
| 3.1 Примитивы | Целочисленная арифметика. |
| 3.2 Строки и байты | Строки и байты |
| 3.3 Составные типы | Литерал [a, b] имеет тип List<T>, если контекст не требует [T; N] или [T]. |
| 3.4 Объявляемые типы | data — тип-произведение с именованными полями (§4.2). |
| 3.5 Объединения и опционалы | A | B — анонимное объединение. |
| 3.6 Псевдонимы, новые и уточнённые типы | distinct T создаёт новый номинальный тип с представлением T. |
| 3.7 Ссылки и квалификаторы владения | Правила — §7. |
| 3.8 Асинхронные и потоковые типы | Асинхронные и потоковые типы |
| 3.9 Copy и move | Типы Copy: примитивы, str, bytes, Duration, Time и другие типы времени, distinct/уточнённые над Copy-типом, кортежи и массивы из Copy-типов, а также data/enum с @derive(Copy), все поля которых Copy. |
Связанные диагностики
cannot-infer, missing-annotation
См. также
Исходник: docs/spec/oxl-standard.md