Python Podcast
Typescript und Typisierung
1:51:56
Typescript und Typisierung (hier klicken, um zu kommentieren)
11. Januar 2024, Jochen
In der letzten Folge🎙️ ging es ja um Tests. Diesmal geht es um eine weitere Möglichkeit, formal zu spezifizieren, wie sich Software verhalten soll, um dann automatisch überprüfen zu können, ob sich die Implementierung noch in Übereinstimmung mit der Prophezeiung befindet: Typisierung.
Dazu blicken wir…