EMZETT.Glossar
1620 Begriffe aus IT, Netzwerk, Sicherheit und Programmierung: erst kurz erklärt, dann ausführlicher. Suche nach einem Wort oder wähle einen Buchstaben.
1 Treffer
Typsysteme und Typinferenz Ein Typsystem prüft, dass Werte nur auf erlaubte Weise verwendet werden, etwa keine Zahl durch einen Text geteilt wird. Typinferenz lässt den Compiler Typen selbst erschließen.
Statische Typen werden vor der Ausführung geprüft (Java, Rust, TypeScript), dynamische erst zur Laufzeit (Python, JavaScript). Starke Typsysteme finden viele Fehler früh. Generics, Sum-Types und Traits machen sie ausdrucksstark.
Verwandt: Lexer, Parser und Syntaxbaum · Garbage-Collection-Verfahren · Zwischendarstellung und Compiler-Optimierung
Ganzer Artikel im Wiki →