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

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Paradigms of Computer Programming
Université catholique de Louvain via edX
Introduction to Functional Programming
Delft University of Technology via edX
Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX