Hazel - A Live Functional Programming Environment with Typed Holes

Explore a groundbreaking approach to working with incomplete programs in this conference talk from Strange Loop. Dive into the concept of typed holes in functional programming, learning how they stand for missing parts and act as membranes around erroneous or conflicted code. Discover Hazel, a web-based live programming environment for an Elm-like language, designed to support typed hole-driven development. Understand how Hazel automatically inserts holes to ensure continuous static and dynamic meaning, enabling uninterrupted type-based services and run-time features like its novel live debugger. Gain insights into the development of interactive course material for functional programming using this innovative approach. This 44-minute presentation by Cyrus Omar offers a principled, type theory-based solution to the challenges of working with incomplete programs, promising to revolutionize the programming experience.