✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Abstract Envision a Python dialect that seamlessly combines user-friendly, optional, static types with the transformative capabilities of dependent types. Picture a world where functional and object-oriented programming coexist harmoniously, putting developers firmly in control, with the type system serving as a powerful ally. How daring can we be in pushing the boundaries and seamlessly integrating cutting-edge type theory advancements into the language? What challenges might arise with dependent types, and how can dynamically typed programming embrace this innovation? In collaboration with Thorsten Altenkirch, we've conceptualized a language designed to deliver an exceptional developer experience. Intrigued? Join us as we open a window into this parallel universe or glimpse the future of programming possibilities. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync