concept

active

concept:a-programming-language-is-low-level-when-its-programs-require-attention-to-the-irrelevant

A programming language is low level when its programs require attention to the irrelevant.

Epigraph by Alan Perlis motivating the search for abstract conceptual models in Fruit's design philosophy.

Neighborhood — ranked by edge-count

Claims (1)

claim

Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.
supports
Authors' core assertion that formal modeling of GUIs provides foundational benefits for language design and program verification.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

It has long been said that programming languages need more of the features of natural language, but it has not been clear what the desirable features are.claim0.819
Introduction, motivating the proposal.
Studying programming systems requires a paradigm shift from programming languages, where interaction between programmer and system becomes central rather than program code alone.claim0.792
Core assertion that systems perspective is incommensurable with language perspective; interaction, not code, is what matters in systems analysis.
a basic difficulty [of non-functional languages] is that they are very long winded, in terms of the amount one has to write to achieve a given effect.quote0.779
From Turner (1982), cited to represent the functional programming community's view and then refuted.
In some sense, this is the simplest language model we profoundly don't understand. And so it makes a natural target for our paper.quote0.767
Articulates why a one-layer transformer with MLP is the appropriate starting target for mechanistic interpretability
It is impossible for us to accept the claim that functional languages are necessarily higher-level than C-Linda.claim0.761
Critique of the functional-level argument based on mental models.
Dynamic programming languages seem to spend much of their time looking up behaviour associatively.claim0.760
An observation motivating the associative model as a unifying primitive.
A computer program is not defined by its language or hardware but as an abstract causal pattern, a dynamic mathematical structure that influences the physical universe without violating its causal closure.claim0.757
Paper's ontological characterization of software enabling cyberanimism
Language models are some of the most remarkable computer programs in existence.quote0.756
Opening sentence setting the stage for the importance of interpretability.