concept
active
concept:laws-for-freeLaws for Free
Consequence of semantic type class morphism: type class laws hold automatically from denotational specification without manual proof.
Neighborhood — ranked by edge-count
Frameworks (1)
framework
- Type Class Morphism (TCM)gatessupportsPrinciple that the instance's meaning follows the meaning's instance; every TCM failure indicates an abstraction leak.
Claims (1)
claim
- Homomorphism as SpecificationsupportsDenotation acts as algebraic homomorphism, making implementations correct-by-construction when they satisfy this property
Hypotheses (1)
hypothesis
- Core hypothesis enabling 'laws for free': denotational semantics guarantee algebraic law satisfaction.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- The capacity to create wholeness and do what is right; enabled by morphogenetic, whole-seeking processes.
- Spencer Brown's calculus of distinctions, showing all mathematics arising from contrast; cited to argue contrast is fundamental.
- Wertheimer's protagonist's quest.
- Thermodynamic potential ΔF = ΔE − TΔS; domain walls form if ΔF < 0
- Thorndike's principle that satisfied behaviors are strengthened; paper argues stripping its experiential language is incoherent
- Question about the role of algebraic laws in modular reasoning.