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
Unsere E-Mail für Fragen, Anregungen & Kommentare: hallo@python-podcast.de
News
- Python 3.12.1 Release
- Ruby 3.3.0 Released
- Rewriting the Ruby parser | Using a recursive descent parser like PEG in Python
- Performance improvements / yjit - gegenüber 3.2.0 etwa 12%
- Python 3.13 gets a JIT / Episode 1 - Core Sprint in Brno & Python 3.13 / copy-and-patch JIT
- Pydantic Upgrade auf v2 nicht problemlos: Consider releasing Pydantic V2 under a different python package name
Typing Quadrants aus Fluent Python
Typing
- FastAPI async? -> uvloop
- PyO3 | Rust bindings für Python
- Bücher von Stefan
- TypeScript in 50 Lessons / Rob Draper | Schön gemachtes Buch - sehr beliebt bei den Machern dieses Podcasts 😄
- TypeScript Cookbook | 2023 erschienen - noch nicht gelesen, klingt aber gut!
- Beispiele aus der Praxis (bzgl "sind häßlich")
- CNLabelContactRelationYoungerCousinMothersSiblingsDaughterOrFathersSistersDaughter | Apple, reenacting "Design is my passion" 😳
- _Application.Run Method | Funktion mit Arg1-30 🫣