Stephanie Weirich

In this discussion, Stephanie Weirich, a Professor at the University of Pennsylvania and an expert in dependent types, shares her insights on extending Haskell's type system. She illustrates how dependent types make type checking more powerful, allowing for compile-time validation of elements in heterogeneous dictionaries. Stephanie explains the applications of dependent types in creating safer programs, including parsing expressions. The conversation also touches on the experimental nature of Haskell and the evolution of its language features, offering a glimpse into future possibilities.