pub или закрытое имя
Вы узнаете
Что объявляет pub и что пишет бэкенд TypeScript с ним и без него.
pub перед const, fn, struct или enum говорит, что имя могут использовать другие модули. Без pub имя предназначено самому модулю. Сегодня компилятор не соблюдает это в коде, который пишет: gen-ts экспортирует и pub-константу, и закрытую константу спеки урока. Используйте pub, чтобы сказать, что модуль предлагает, и читайте сгенерированный код, прежде чем полагаться на закрытость.
Попробуйте
Откройте вкладку ts спеки урока в плеере и найдите обе константы.
A pub and a private t27 constant side by side with the TypeScript the real compiler wrote for each. Lesson 16 of the t27 basics course.
specs/basics/16_pub_or_private.t27
// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 16: pub or private.
; pub marks a name for other modules; without it the name is the module's own.
module basics_16_pub_or_private;
pub const OFFERED : u8 = 1;
const OWN : u8 = 2;
test both_names_exist_in_the_module {
assert OFFERED == 1;
assert OWN == 2;
}
Все уроки
Модуль 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 · Ошибки, программа и что дальше
Как читать ошибку компилятора, одна маленькая законченная программа и какой курс пройти дальше.