Live functional programming with typed holes
Abstract
Live programming environments aim to provide programmers (and sometimes audiences) with continuous feedback about a program's dynamic behavior as it is being edited. The problem is that programming languages typically assign dynamic meaning only to programs that are complete, i.e. syntactically well-formed and free of type errors. Consequently, live feedback presented to the programmer exhibits temporal or perceptive gaps.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 02, 2019
- Source ID
- 10.1145/3290327
Entities
People
- Cyrus Omar
- Ian Voysey
- Matthew A. Hammer
- Ravi Chugh
Organizations
- Carnegie Mellon University
- Defense Advanced Research Projects Agency
- National Science Foundation
- University of Chicago
- University of Colorado Boulder