Introduction
Tutorial
1.
Installation
2.
Typing
3.
Data Types
4.
Module
5.
Examples
6.
Generative Code
7.
Registers
8.
FIFO
9.
BitSerialMatrix
10.
Learning SUS
philosophy
11.
Compiletime and Runtime
12.
Control Flow
13.
Design Decisions
14.
Instantiation
15.
Interfaces
16.
Latency
17.
Library
18.
Optimization
19.
State
20.
State vs Latency
21.
The Trouble with Parsing Templates
22.
Tensions
23.
Tree Sitter
24.
Types
25.
Core Philosophy
25.1.
What SUS gives you
25.2.
Planned
25.3.
What SUS does not do
25.4.
SUS Code Examples
26.
Main Features through examples
Roadmap
27.
Major Milestones
28.
Language Features
29.
Performance, Linking and Name Resolution
30.
Safety
31.
Typing & Inference
32.
Latency Counting
33.
LSP
34.
Code Generation
35.
Fun projects to do in SUS
36.
Safety through Interface Asserts (PDL-style asserts)
37.
Simulation
38.
Architecture
39.
Long Term Strategy
Light (default)
Rust
Coal
Navy
Ayu
SUS Documentation
Typing & Inference
Hindley-Milner typing for Abstract Types
Hindley-Milner typing for Domain Types
Hindley-Milner typing for Concrete Types
Template Type Inference
Generative Parameter Inference
Latency Count Inference
Let-syntax