Typisierung
Wie eine Programmiersprache mit Wertarten und den dazu passenden Operationen umgeht.
Was bedeutet Typisierung?
Typisierung regelt den Umgang mit Typen von Werten und den dazu passenden Operationen. Eine statische Typprüfung kann Unverträglichkeiten vor dem Programmlauf erkennen; bei dynamischer Typisierung werden Typen zur Laufzeit berücksichtigt. Typinformationen können ausdrücklich angegeben oder vom Werkzeug abgeleitet werden. Eine typisierte Sprache ist dadurch nicht automatisch frei von fachlichen Fehlern.
In einem erfundenen Portal soll das Feld quantity als number verarbeitet werden. Ein passend eingesetzter statischer Prüfer kann auf eine Textzuweisung hinweisen. Die Zahlbeschreibung allein sagt jedoch nicht, ob eine Menge positiv, ganzzahlig oder für die gewählte Einheit zulässig ist. Auch Daten aus einer fremden Schnittstelle werden durch eine TypeScript-Typangabe nicht automatisch zur Laufzeit validiert. Diese Eingaben und Geschäftsregeln brauchen eigene Prüfungen.
Quellen
Verwandte Begriffe
- Statische CodeanalyseCode oder seine Darstellung untersuchen, ohne dafür den fachlichen Anwendungsablauf auszuführen.
- CompilerEin Programm, das Quellcode in eine andere Zieldarstellung übersetzt.
- DatenvalidierungDatenvalidierung prüft Daten gegen festgelegte Anforderungen, etwa Format, Pflichtfelder oder erlaubte Wertebereiche.
- Legacy-SystemEin weiter genutztes bestehendes System mit gewachsenen technischen und fachlichen Abhängigkeiten.
- MandantenfähigkeitMandantenfähigkeit erlaubt getrennte Kunden- oder Gruppenbereiche in einer Lösung. Ein Mandant ist weder automatisch eine Person noch eine Datenbank.
- Browser-CacheDer Browser-Cache speichert geeignete HTTP-Antworten für spätere Nutzung. Wiederverwendung und erneute Prüfung folgen den jeweiligen Regeln.
Beiträge zum Thema
Softwareentwicklung mit ASES
Individuelle Software, Web- und Mobile-Apps