Что такое спека
Вы узнаете
Что входит в файл .t27 и что компилятор возвращает в ответ.
Спека — это обычный текстовый файл с окончанием .t27. Он начинается строкой module, объявляет значения и функции и несёт блоки test, которые их проверяют. Компилятор t27c читает файл и отвечает вердиктом и кодом для 7 бэкендов. В спеке этого урока 2 константы и 1 тест, и сайт компилирует её прямо в вашем браузере.
Попробуйте
Откройте спеку урока в плеере и найдите три её части: строку module, константы и тест.
A table of the parts of a .t27 file and a diagram of what t27c gives back for it. Lesson 1 of the t27 basics course.
specs/basics/01_what_a_spec_is.t27
// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 1: What a spec is.
; A spec is one .t27 file: a module line, named values, and tests that check them.
module basics_01_what_a_spec_is;
pub const SIDES : u8 = 3;
pub const CORNERS : u8 = 3;
test a_triangle_has_as_many_corners_as_sides {
assert SIDES == 3;
assert CORNERS == SIDES;
}
Все уроки
Модуль 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 · Ошибки, программа и что дальше
Как читать ошибку компилятора, одна маленькая законченная программа и какой курс пройти дальше.