Explore the cutting-edge Hazel programming environment in this 32-minute conference talk from ACM SIGPLAN. Delve into the world of totally live typed general-purpose programming as presenters Cyrus Omar, Andrew Blinn, and David Moon review the progress made on Hazel and its underlying theoretical developments. Discover how Hazel implements error localization and recovery mechanisms to ensure every editor state remains syntactically well-structured and statically and dynamically meaningful. Gain insights into the language-theoretic foundations of Hazel through a comprehensive review of its underlying theory and witness its capabilities through a live demonstration. Learn about Hazel's application in educational settings and examine preliminary results from its first human trials. Conclude by exploring ongoing research and future directions for this innovative programming environment.
Overview
Syllabus
[HATRA23] Totally Live Programming with Hazel (Progress Report)
Taught by
ACM SIGPLAN