robaertschi/tt
1
0
Fork 0
mirror of https://github.com/RoBaertschi/tt.git synced 2025-04-16 05:53:30 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
tt/architecture.md
Robin 6504ad7134 fix: typechecker error handling 
- 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
2025-01-26 14:25:34 +01:00

528 B
Raw Blame History

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