Константы
Вы узнаете
Шесть частей объявления константы и что делает каждая.
pub const WIDTH : u8 = 8; читается слева направо: pub делает имя видимым другим модулям, const говорит, что значение неизменно, WIDTH — имя, u8 — тип, 8 — значение, точка с запятой завершает строку. Константы — то, что умеет проверять тестовый прогон этого сайта: спека урока объявляет WIDTH, HEIGHT и AREA и проверяет, что 8 на 4 даёт 32.
Попробуйте
Поменяйте AREA в спеке урока на 33 и посмотрите, какой тест упадёт.
The six pieces of a t27 constant declaration in one table. Lesson 4 of the t27 basics course.
specs/basics/04_constants.t27
// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 4: Constants.
; A constant gives a name, a type and a value, and the name never changes its value.
module basics_04_constants;
pub const WIDTH : u8 = 8;
pub const HEIGHT : u8 = 4;
pub const AREA : u8 = 32;
test area_is_width_times_height {
assert WIDTH * HEIGHT == AREA;
}
Все уроки
Модуль 1 · Файл спеки
Что лежит в файле .t27: строка module, строки прозы и комментарии.
Модуль 2 · Значения и типы
Константы, ширина целого числа, а также true, false и текст.
Модуль 3 · Массивы, триты и выражения
Списки значений, три значения трита и что вычисляют операторы.
Модуль 4 · Тесты и функции
Блок test, несколько маленьких тестов в одной спеке и функция с типизированными входами.
Модуль 5 · Внутри функции
Имена через let и var, выбор через if и switch и циклы.
Модуль 6 · Видимость и свои типы
Что pub открывает другим модулям, и структуры и перечисления, которые вы объявляете.
Модуль 7 · Модули, правила и gen-ts
Чтение другого модуля, правило, которое выполняется всегда, и спека, превращённая в TypeScript.
Модуль 8 · Компилятор и tri
Бэкенды, которые пишет t27c, стадии, в которых он читает спеку, и команда tri.
Модуль 9 · Ошибки, программа и что дальше
Как читать ошибку компилятора, одна маленькая законченная программа и какой курс пройти дальше.