Statische Typisierung
Sign in to saveAlso known as static type system, static typing system, static, statically typed, static type checking
type system paradigm where all type checking is done at compile time
Wikidata facts
- Subclass of
- static program analysis
Show 2 more facts
- opposite of
- dynamic typing
- short name
- statische
Sources (2)
via Wikidata · CC0
Article · Deutsch
Statische Typisierung (englisch static typing) bezeichnet ein Schema der Typisierung von Programmiersprachen. Bei der statischen Typisierung wird im Gegensatz zur dynamischen Typisierung der Datentyp von Variablen und anderen Programmbausteinen schon während der Kompilierung festgelegt. Dies kann durch Typinferenz oder durch explizite Deklaration geschehen. Statische Typisierung kann durch starke Typisierung erweitert werden. Vorteile: * Bestimmte Fehler können bereits zur Übersetzungszeit erkannt werden und müssen nicht zur Laufzeit geprüft werden. Damit werden Fehler auch in selten benutzten Programmteilen, die bei Tests oft nicht durchlaufen werden, gefunden. * Die Effizienz von Programmen wird durch die Reduzierung des Rechenaufwands für Typüberprüfungen zur Laufzeit ebenfalls gesteigert. * Zahlreiche Optimierungen hängen von den zur Übersetzungszeit vorhandenen Informationen ab. So ermöglicht statische Typisierung zum Beispiel das direkte Einfügen von Maschinencode statt eines Methoden- oder Funktionsaufrufs. Nachteile: * Teilweise sind die Typen erst zur Laufzeit bekannt, bei Sprachen mit statischer Typisierung bedeutet dies dann meist einen gewissen Aufwand, da das Typsystem umgangen werden muss. * Die Compiler sind aufwendiger, weil dort mehr Aufwand für die Analyse anfällt.
Abstract from DBpedia / Wikipedia · CC BY-SA