Typ-Systeme in Programmiersprachen: Prüfung & Konvertierung
Eingeordnet in Elektronik
Geschrieben am in
Deutsch mit einer Größe von 5,03 KB
Grundlagen von Programmiersprachen: Das Typ-System
Die Art einer Sprache könnte als eine Reihe von Bedingungen definiert werden. Sprachen besitzen mehrere gemeinsame Merkmale, die ihnen erlauben, miteinander zu interagieren und Änderungen zu unterliegen. Diese Merkmale werden nur angewandt, weil die Sprachen diese Eigenschaften besitzen.
Das Typ-System
Das Typ-System besteht aus theoretischen Grundlagen, die verknüpft werden, um jeder deklarativen Sprache eine Struktur zu geben.
Komponenten des Typ-Systems
- Typ-Konstruktoren (Strukturen, Unions/Vereinigungen, Objekte)
- Zeiger (Typverweise)
- Funktionen (z. B.
a = Summe();)
Implementierung und Prüfung
Jeder Semantikanalysator implementiert ein Typ-System.
Statische und Dynamische Typ-Prüfung
- Statische