Блог
Курс 0: основы t27 за 27 уроков, в каждом инфографика
[исполнитель в браузере пропускает блоки invariant и bench; спек уроков пока нет в gHashTag/t27] Перед курсами по FPGA и ИИ-числам появился новый курс: 27 уроков о языке t27, в каждом чёрно-белая таблица или схема из своей спеки и спека урока, которая собирается всеми 7 бэкендами.
Курсы t27 начинались с чипа: курс 1 учит FPGA, курс 2 — числам, которые хранят ИИ-чипы. Оба ждут, что читатель уже умеет читать спеку .t27. Курс 0 идёт перед ними и учит именно этому: 27 уроков о самом языке, в 9 модулях по 3 урока; заканчивается он там, где начинается курс 1.
Что открывает каждый урок
Каждый урок открывает одну инфографику и одну спеку. Инфографика — чёрно-белая таблица, а в 11 из 27 уроков ещё и схема; её слова и строки живут в спеке виджета .t27 (specs/widgets/basics-<урок>.t27), и тест спеки проверяет, что строки таблицы целые. Спека урока лежит в specs/basics/ и чисто собирается всеми 7 бэкендами прямо в браузере, а её тесты проходят; генератор курса отказывается собирать курс, если хоть одна не собирается.
Таблицы — настоящие HTML-таблицы с подписью и ячейками заголовка, схемы — SVG с title, поэтому экранный чтец читает и то и другое. На телефоне таблица превращается в карточку на строку.
27 уроков
| Урок | Название | Инфографика |
|---|---|---|
| 1 | Что такое спека | таблица + схема |
| 2 | Строка module | таблица |
| 3 | Комментарии и строки прозы | таблица |
| 4 | Константы | таблица |
| 5 | Целые числа и их ширина | таблица + схема |
| 6 | Истина, ложь и текст | таблица |
| 7 | Массивы | таблица |
| 8 | Триты: минус один, ноль, один | таблица + схема |
| 9 | Выражения | таблица |
| 10 | Блок test | таблица + схема |
| 11 | Много тестов в одной спеке | таблица |
| 12 | Функции | таблица |
| 13 | Локальные имена: let и var | таблица |
| 14 | Выбор: if, else и switch | таблица + схема |
| 15 | Циклы: while и for | таблица + схема |
| 16 | pub или закрытое имя | таблица |
| 17 | Структуры | таблица |
| 18 | Перечисления | таблица |
| 19 | Другие модули | таблица |
| 20 | Инварианты и замеры | таблица |
| 21 | gen-ts: спека превращается в TypeScript | таблица + схема |
| 22 | Семь бэкендов | таблица |
| 23 | Стадии t27c | таблица + схема |
| 24 | tri: командная строка | таблица + схема |
| 25 | Как читать ошибки компилятора | таблица |
| 26 | Маленькая законченная программа | таблица + схема |
| 27 | Куда дальше | таблица + схема |
Чего он пока не делает
- Исполнитель в браузере пропускает блоки invariant и bench, поэтому уроки, где они есть, описывают их, а не запускают.
- Строку use компилятор проверяет, но браузер не загружает модуль, который она называет.
- Спеки уроков лежат в копии дерева спек t27 на сайте; в самом gHashTag/t27 их пока нет.
Попробовать
- Курс 0, «Основы t27»: t27.ai/ru/learn/
- Курс 1, «С нуля до чипа»: t27.ai/ru/learn/course/
- Курс 2, «ИИ-числа на t27»: t27.ai/ru/learn/ai-numbers/
- В приложении: t27.ai/#/t27-basics
Чего это не решает
- Исполнитель в браузере пропускает блоки invariant и bench, поэтому уроки, где они есть, их не запускают.
- Спеки уроков лежат в копии дерева спек на сайте, в gHashTag/t27 их пока нет.
Пруфы
Поработаем вместе
Нужно довести FPGA/RTL-задачу до замеров на железе?
Работаю по контракту и part-time с hardware-AI, FPGA/RTL и ML-системами — от спецификации и открытого тулчейна до воспроизводимых измерений.