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 …

Code completion is an editor service in IDEs that proposes code fragments for the user to
insert at the caret position in their code. Code completion should be sound and complete. It …

Creative coding is a rapidly expanding domain for both artistic expression and
computational education. Numerous libraries and IDEs support creative coding, however …

PL and HCI: better together Page 1 98 COMMUNICATIONS OF THE ACM | AUGUST 2021 |
VOL. 64 | NO. 8 review articles IN THE LAST 10 years, the computer science (CS) community …

Text editing is powerful, but some types of expressions are more naturally represented and
manipulated graphically. Examples include expressions that compute colors, music …

Traditional, or concrete, debuggers allow developers to step through programs and explore
the corresponding concrete program states—developers can query current values of …

Type systems typically only define the conditions under which an expression is well-typed,
leaving ill-typed expressions formally meaningless. This approach is insufficient as the basis …

Language workbenches (LWBs) are tools to define software languages together with
tailored Integrated Development Environments for them. A comprehensive review of …

Programming has become a collaboration between human programmers, who drive intent,
and interactive assistants that suggest contextually relevant editor actions. There has been …

Several modern programming systems, including GHC Haskell, Agda, Idris, and Hazel,
support typed holes. Assigning static and, to varying degree, dynamic meaning to programs …