Typescript und Typisierung

Typescript und Typisierung (click here to comment) 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 diesmal ein wenig über den Tellerrand von Python und sprechen dafür mit Stefan, einem Experten für Typescript 📘. Natürlich sind auch Dominik, Johannes und Jochen wieder mit von der Partie. 🎧 Hört mal rein, wenn ihr mehr über die Rolle von Typisierung in der Softwareentwicklung mit Python 🐍 erfahren wollt. Shownotes