Typescript und Typisierung
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.
00:00:31.756 News
00:06:41.643 FastAPI
00:10:22.555 Bücher von Stefan
00:16:07.765 Typisierung
00:40:05.903 Python vs Typescript
00:50:37.311 Generics / typing.Protocols / Structural Subtyping
01:00:06.096 NewType / Dependent Types
01:06:11.916 Co, Contra und Invarianz
01:18:51.512 overloads
01:30:25.881 Rekursive Types / Verwendung von Annotationen zur Laufzeit
01:40:24.461 pydantic nochmal
01:43:28.712 nochmal Covarianz
01:45:44.892 Picks
