mirror of
https://github.com/RoBaertschi/tt.git
synced 2025-04-18 23:13:29 +00:00
Robin
6504ad7134
- rename Architecture.md -> architecture.md - change error handling in typechecker to print the token loc for binary expressions and also not prefix the error when printed in cmd
19 lines
528 B
Markdown
19 lines
528 B
Markdown
tt Programming Language Backend Architecture
|
|
|
|
# Goals
|
|
- Easy support for different architectures and OSs
|
|
- Easily Optimisable on most levels
|
|
- Good Performance
|
|
|
|
# Architecture
|
|
|
|
AST --> Type Checking --> TAST --> IR Emission --> TTIR --> Codegen --> TTASM --> Emit --> FASM -> Binary
|
|
|
|
TTIR: TT Intermediate Representation is the Representation that the AST gets turned into. This will be mostly be used for optimissing and abstracting away from Assembly
|
|
TAST: Typed Ast
|
|
|
|
## Type Checking
|
|
Passes:
|
|
- Type Inference
|
|
- Type Checking
|