Imagine a Dependently Typed Python - Andor Pénzes | Lambda Days 2024

CodeSync · March 17, 2025, 2:00pm

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.

Comments welcome! View the code-sync tag for more Code Sync talks!