The instance's meaning follows the meaning's instance.

Elliott's core principle: type class instance definitions should mirror the semantic meaning to avoid abstraction leaks.

Source paper

extracted_from

(2015) · Elliott, Conal

hypothesis

community

Design principles for care-centered systems
members_of
Cross-scale frameworks linking spatial patterns, diagrams, and simplicity as expressions of care in design.
Holistic information structure and relational wholeness
members_of
Framework treating wholes as primary with parts defined through relationships; emphasizes information preservation through structure-preserving transformations and distributed emergence of organized systems.

concept

Denotational Design
supports
Core framework: methodology for typed, purely functional programming that uses precise semantic specification to inform both use and implementation

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.

The instance's meaning follows the meaning's instance (semantic type class morphism principle).claim0.864
The core design principle of TCM.
Physical instanceconcept0.769
The view that the individual is a particular piece of hardware running the model over a given period of time
The first words placed define the space; every subsequent element is in relation to this initiating actclaim0.764
Implication (A → B)concept0.744
Meaning of a whole (cf. sentence) should only depend on meanings of its parts (cf. words) and how they are fitted together (cf. grammar).concept0.744
Canonical statement of Frege compositionality principle in formal linguistics; foundational to paper's analysis.
Difference-in-Meansmethod0.737
Method for extracting linear directions by subtracting mean activations of contrastive groups; used to define the Assistant Axis
With unrestricted vocabulary, models occasionally respond in non-English Yes/No equivalents (e.g., Sí, Nein) after truth-direction interventionsfinding0.735
Suggestive evidence for language-independent truth representation in LLMs
The process of unfolding and the fundamental process follow from this pleasing of oneself, as night follows day.claim0.732
Alexander claims Book 2's unfolding process is a consequence of people learning to please themselves.