Lyx - Datentypen

Diese Seite gibt einen technischen Überblick über die aktuell unterstützten Datentypen in Lyx sowie deren Implementierungsstatus im Compiler.

Status: Lexer, Parser, AST und Sema implementiert. IR-Lowering derzeit Platzhalter (Dummy-Wert).

• ✅ Full – Parser, Sema, IR und Codegen vorhanden
• ⚠️ Partial – Teilweise implementiert
• ❌ Missing – Definiert, aber nicht umgesetzt
• 🔄 WIP – Work in Progress

Getestet:

• Integer-Typen (8–64 Bit, signed/unsigned)
• bool
• Funktionsrückgaben
• automatische Integer-Konvertierung

• Automatisch: Integer ↔ Integer (verschiedene Breiten)
• Explizit: Cast-Operatoren geplant
• Constant Folding: Literale werden auf Zieltyp angepasst

• Integer-Typen
• `bool`, `char`, `pchar`
• Load/Store mit korrekter Breite

• `f32`, `f64` – Frontend OK, Backend fehlt
• `isize`, `usize` – Tests fehlen

• Union-Typen
• Pointer-Arithmetik
• Dynamische Arrays

• Syntaxfehler (`end;` Statements) repariert
• `con` Parser-Bug behoben
• Bracket-Tokens `[ ]` ergänzt
• HEAD kompiliert wieder sauber

• Integer-Typen: int8..uint64 ✅
• Boolean-Literale ✅
• Char-Literale + Escape-Sequenzen ✅
• Float-Literale (`3.14`) ✅
• Array-Literal-Syntax `[1,2,3]` (Frontend) ✅
• Storage-Klassen var/let/co/con ✅
• Funktionsrückgaben aller primitiven Typen ✅

Vollständig implementiert:

• Lexer `tkCharLit`
• AST-Knoten
• Escape-Sequenzen (`\n`, `\t`, `\\`, `\'`, `\0`)

Frontend vollständig, Backend noch Platzhalter.

Parser und Sema vorhanden, echter Codegen folgt.

`isize`/`usize` implementiert, aber kaum getestet.

• Integer-Typen
• bool
• String-Literale (`pchar`)
• Funktionsrückgaben

• Overflow/Underflow Edge-Cases
• Sehr große Literale
• Cross-Architektur Verhalten von `isize`/`usize`

• Float-IR Backend
• Array-IR Backend
• Erweiterte Array-Typen

• Float-Codegen vervollständigen
• Tests für isize/usize
• Integer-Overflow Tests

• Explizite Casts (`x as int32`)
• Structs/Records
• Statische Arrays

• Generics/Templates
• Union-Typen
• Smart-Pointer

var a: int8 := 127;
let b: uint16 := 65535;
con d: int64 := 9223372036854775807;
 
var pi: f32 := 3.14159;
let e: f64 := 2.718281828;
 
var ch: char := 'X';
let msg: pchar := "Hello";
 
var flag: bool := true;
 
fn get_byte(): uint8 { return 255; }
fn get_flag(): bool { return true; }
fn do_nothing(): void { print_str("done"); }