YoVDO

Hazel - A Live Functional Programming Environment with Typed Holes

Offered By: Strange Loop Conference via YouTube

Tags

Strange Loop Conference Courses Functional Programming Courses Type Theory Courses

Course Description

Overview

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.

Syllabus

"Hazel: A Live Functional Programming Environment with Typed Holes" by Cyrus Omar


Taught by

Strange Loop Conference

Tags

Related Courses

Radical and Type Theories in Organic Chemistry (1832-1850) - Lecture 22
Yale University via YouTube
Introduction to programming with dependent types in Scala
Stepik
Uncovering the Unknown - Principles of Type Inference in Programming Languages
ChariotSolutions via YouTube
Univalence from a Computer Science Point-of-View - Dan Licata
Institute for Advanced Study via YouTube
Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube