{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-referential-transparency",
  "id": "referential-transparency",
  "kind": "principle",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-computation-core",
    "json": "https://banes-lab.com/json/records/layer/computation-core",
    "label": "Computation Core",
    "markdown": "https://banes-lab.com/records/layer/computation-core.md",
    "ref": "layer:computation-core"
  },
  "name": "Referential Transparency",
  "ref": "architecture:referential-transparency",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-pure-functions",
          "json": "https://banes-lab.com/json/records/architecture/pure-functions",
          "label": "Pure Functions",
          "markdown": "https://banes-lab.com/records/architecture/pure-functions.md",
          "ref": "architecture:pure-functions"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-immutability",
          "json": "https://banes-lab.com/json/records/architecture/immutability",
          "label": "Immutability",
          "markdown": "https://banes-lab.com/records/architecture/immutability.md",
          "ref": "architecture:immutability"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-determinism",
          "json": "https://banes-lab.com/json/records/architecture/determinism",
          "label": "Determinism",
          "markdown": "https://banes-lab.com/records/architecture/determinism.md",
          "ref": "architecture:determinism"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-testability",
          "json": "https://banes-lab.com/json/records/architecture/testability",
          "label": "Testability",
          "markdown": "https://banes-lab.com/records/architecture/testability.md",
          "ref": "architecture:testability"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-safe-substitution",
          "json": "https://banes-lab.com/json/records/lexicon/safe-substitution",
          "label": "Safe Substitution",
          "markdown": "https://banes-lab.com/records/lexicon/safe-substitution.md",
          "ref": "lexicon:safe-substitution"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-side-effects",
          "json": "https://banes-lab.com/json/records/lexicon/side-effects",
          "label": "Side Effects",
          "markdown": "https://banes-lab.com/records/lexicon/side-effects.md",
          "ref": "lexicon:side-effects"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-stateful-io",
          "json": "https://banes-lab.com/json/records/lexicon/stateful-io",
          "label": "Stateful IO",
          "markdown": "https://banes-lab.com/records/lexicon/stateful-io.md",
          "ref": "lexicon:stateful-io"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-referential-transparency-stateful-io",
          "json": "https://banes-lab.com/json/records/tension/referential-transparency-stateful-io",
          "label": "Referential Transparency / Stateful IO",
          "markdown": "https://banes-lab.com/records/tension/referential-transparency-stateful-io.md",
          "ref": "tension:referential-transparency-stateful-io"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-hidden-time-randomness-global-state",
          "json": "https://banes-lab.com/json/records/lexicon/hidden-time-randomness-global-state",
          "label": "Hidden Time/Randomness/Global State",
          "markdown": "https://banes-lab.com/records/lexicon/hidden-time-randomness-global-state.md",
          "ref": "lexicon:hidden-time-randomness-global-state"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-pure-functions",
          "json": "https://banes-lab.com/json/records/architecture/pure-functions",
          "label": "Pure Functions",
          "markdown": "https://banes-lab.com/records/architecture/pure-functions.md",
          "ref": "architecture:pure-functions"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-dependency-injection",
          "json": "https://banes-lab.com/json/records/architecture/dependency-injection",
          "label": "Dependency Injection",
          "markdown": "https://banes-lab.com/records/architecture/dependency-injection.md",
          "ref": "architecture:dependency-injection"
        }
      ],
      "relation": "refactored-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-contextual",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-contextual",
          "label": "contextual",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-contextual.md",
          "ref": "vocabulary:severity-contextual"
        }
      ],
      "relation": "severity"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/records/architecture-category/correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/records/architecture-category/correctness-determinism-verification.md",
          "ref": "architecture-category:correctness-determinism-verification"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/software-architecture/principles#computation-and-resource",
          "json": "https://banes-lab.com/json/software-architecture/principles/computation-and-resource",
          "label": "Computation and resource",
          "markdown": "https://banes-lab.com/software-architecture/principles/computation-and-resource.md",
          "ref": "chapter:/software-architecture/principles#computation-and-resource"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology#architecture-category-correctness-determinism-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-core-vocabulary",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-core-vocabulary",
          "label": "Core Vocabulary",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-core-vocabulary"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-correctness-determinism-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-vocabulary-severity",
          "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-severity",
          "label": "Severity levels",
          "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-severity.md",
          "ref": "chapter:/ontology/schema#the-vocabulary-severity"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-resolutions",
          "json": "https://banes-lab.com/json/ontology/schema/the-resolutions",
          "label": "The resolutions",
          "markdown": "https://banes-lab.com/ontology/schema/the-resolutions.md",
          "ref": "chapter:/ontology/schema#the-resolutions"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "A design rule that an expression can be replaced by its value without changing the program's behavior.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-pure-functions",
      "json": "https://banes-lab.com/json/records/architecture/pure-functions",
      "label": "Pure Functions",
      "markdown": "https://banes-lab.com/records/architecture/pure-functions.md",
      "ref": "architecture:pure-functions"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-predictability",
      "json": "https://banes-lab.com/json/records/architecture/predictability",
      "label": "Predictability",
      "markdown": "https://banes-lab.com/records/architecture/predictability.md",
      "ref": "architecture:predictability"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/architecture",
    "label": "Architecture principles",
    "markdown": "https://banes-lab.com/api/records/architecture.md",
    "ref": "api:records/architecture"
  },
  "aliases": [],
  "exemplar": {
    "after": "function fooTotal(values: readonly number[]) {\n  return values.reduce((a, b) => a + b, 0);\n}",
    "before": "function fooTotal(values: number[]) {\n  globalCounter += 1;\n  return values.reduce((a, b) => a + b, 0) + globalCounter;\n}",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "function",
    "expression"
  ],
  "severity": "contextual"
}