Pith. sign in

REVIEW 1 cited by

Live, Rich, and Composable: Qualities for Programming Beyond Static Text

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2303.06777 v1 pith:KSYICTM3 submitted 2023-03-12 cs.PL cs.HCcs.SE

classification cs.PLcs.HCcs.SE
keywords programminglivenessqualitiesqualityrichnessbeyondcodecombining
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Efforts to push programming beyond static textual code have sought to imbue programming with multiple distinct qualities. One long-acknowledged quality is liveness: providing programmers with in-depth feedback about a program's dynamic behavior as the program is edited. A second quality, long-explored but lacking a shared term of art, is richness: allowing programmers to edit programs though domain-specific representations and interactions rather than solely through text. In this paper, we map the relationship between these two qualities and survey past work that exemplifies them. We observe that systems combining liveness and richness often do so at the cost of an essential quality of traditional programming: composability. We argue that, by combining liveness, richness, and composability, programming systems can better capture the full potential of interactive computation without leaving behind the expressivity of traditional code.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Code Shaping: Iterative Code Editing with Free-form AI-Interpreted Sketching

    cs.HC 2025-02 conditional novelty 7.0 of 10

    Free-form sketch annotations on and around code can be interpreted by a large language model to produce iterative code edits, and a three-stage study with 18 programmers yields design guidelines for this interaction paradigm.

Pith tools