Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
This conference talk from Lambda Days 2024 explores the concept of a Python dialect that integrates dependent types with Python's existing features. Discover how functional and object-oriented programming paradigms could coexist in a language where the type system becomes a powerful ally rather than a constraint. Andor Pénzes, in collaboration with Thorsten Altenkirch, presents their vision for a language designed to deliver an exceptional developer experience by seamlessly incorporating cutting-edge type theory advancements. Learn about the potential challenges of implementing dependent types in a dynamically typed language and explore this fascinating parallel universe that could represent the future of programming. The presentation offers a window into how Python could evolve to embrace more sophisticated type systems while maintaining its user-friendly nature.
