Alle Serien
Sprachtheorie für Praktiker
Effektsysteme in der Praxis: Wenn Seiteneffekte Typen bekommen
Effect-TS, Koka und Unison zeigen, wie funktionale Theorie den Alltag erreicht
Algebraische Datentypen im Mainstream: Result, Option und die Kunst der Fehlerbehandlung
Wie funktionale Patterns die Art verändern, wie wir mit Fehlern und Abwesenheit umgehen
Formale Verifikation wird zugänglich: Lean 4, TLA+ und der Weg in die Praxis
Wie mathematische Beweissysteme aus der Akademie in die Produktentwicklung wandern
Wie LLMs Sprachdesign beeinflussen: Code für Mensch und Maschine
Warum TypeScript besser funktioniert als JavaScript und Rust besser als C++
Der Tod der Vererbung: Composition, Traits und die Zukunft des Polymorphismus
Warum moderne Sprachen Vererbung minimieren und was an ihre Stelle tritt
WebAssembly und die Konvergenz der Sprachen
Wie WASM die Grenzen zwischen Browser, Server und Sprachen auflöst