Semantic Denotation

Central mechanism in denotational design: precise mathematical meaning assigned to types and expressions, independent of implementation.

Neighborhood — ranked by edge-count

framework

Image Type
implements
Exemplary domain-specific type in denotational design; denotation as location-to-color function (Loc → Color).
Pair Type
implements
Indexable container with denotation as Bool → a; example demonstrating derivation of API instances from semantic denotation.
Stream Type
implements
Infinite sequence with denotation as Nat → a; generalizes Pair; demonstrates indexable container principle.

concept

Denotational Semantics
related_to
Formal modeling approach used throughout Fruit to provide mathematical meaning to GUI abstractions; enables reasoning about program properties.
Denotational Design
implements
Core framework: methodology for typed, purely functional programming that uses precise semantic specification to inform both use and implementation

question

What do these operations mean? More centrally: What do the types mean?
gates
Central design question of denotational methodology; asks what semantic meaning should precede implementation choice.

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.

Semantic Deduplicationmethod0.815
Greedy pass retaining texts only if cosine similarity below 0.9 with all retained texts; used to maintain diverse statement and SJT corpora
semantic structureconcept0.773
The meaningful organization of concepts in a model's representation space, claimed to be better captured by manifolds than by SAEs.
semantic valueconcept0.767
Meaning that arises from relations within the graphical system, not inherent in elements.
Semantic Diversityconcept0.760
Core concept measured by NLI Diversity — diversity of meaning across a set of dialogue responses
Denotational design uses standard algebraic abstractions.claim0.748
One of the six key properties of denotational design.
Graphical expression of semantic relationsconcept0.747
Core principle that spatial positioning, proximity, and graphical features constitute a meaning-making system independent of textual content.
Lexical Entailmentconcept0.745
The semantic relation between words wp and wh (entails/neutral) used as an intermediate variable in the MoNLI high-level model.
Each expression denotes something, depending only on denotations of subexpressions.claim0.743
Property of denotative programming from Landin.