Where to go next
You will learn
Which course to take next, and what each one adds to the basics.
You can now read a spec: its module line, constants, types, functions, tests and the code its backends write. Course 1 follows a spec onto an Artix-7 FPGA: synthesis, placement, timing and a bitstream checked on a board. Course 2 builds number formats for AI in t27, from OCP MX blocks to a ternary network. Both courses have 27 lessons and open a spec in every one.
Try it
Pick the next course from the table and open its lesson 1.
The three t27 courses in order, what each one covers and where it starts. Lesson 27 of the t27 basics course.
specs/basics/27_where_next.t27
// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 27: Where to go next.
; Course 1 takes these specs onto an FPGA; course 2 builds AI numbers with them.
module basics_27_where_next;
pub const COURSES : [3]str = ["t27-basics", "course", "ai-numbers"];
pub const LESSONS_EACH : u8 = 27;
test three_courses_of_27 {
assert COURSES[0] == "t27-basics";
assert COURSES[2] == "ai-numbers";
assert LESSONS_EACH == 3 * 3 * 3;
}
All lessons
Module 1 · A spec file
What a .t27 file holds: a module line, prose lines and comments.
Module 2 · Values and types
Constants, the width of a whole number, and true, false and text.
Module 3 · Arrays, trits and expressions
Lists of values, the three values of a trit, and what operators compute.
Module 4 · Tests and functions
A test block, several small tests in one spec, and a function with typed inputs.
Module 5 · Inside a function
Names with let and var, choices with if and switch, and loops.
Module 6 · Visibility and your own types
What pub shares with other modules, and the structs and enums you declare.
Module 7 · Modules, rules and gen-ts
Reading another module, stating a rule that always holds, and a spec turned into TypeScript.
Module 8 · The compiler and tri
The backends t27c writes, the stages it reads a spec in, and the tri command.
Module 9 · Errors, a program, what next
Reading a compiler error, one small complete program, and the course to take next.