David Beazley's talk explores the intersection of types, algebra, logic, and category theory, stemming from his personal exploration of category theory during recovery from a bike accident. He uses the concept of "pairs" to delve into type systems, questioning the nature of perfect implementations and the roles of arrows in defining types. Beazley introduces the idea of "void" as the reverse of "none," leading to discussions on choice and equivalence in type systems. He connects these concepts to algebra and logic, suggesting types can be viewed through these lenses. The talk concludes by touching on algebraic type systems and their potential relevance to Python, particularly in error handling, and answers questions about his background and the potential of Haskell-like type inference in Python.
Sign in to continue reading, translating and more.
Continue