scrambled
Home//Concepts/Pure
scrambled
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Concept

Pure

Modified just now
Books
  • Chapter 2. Evaluation
  • Logical foundations
JourneyProgramming Language Theory Statusmastered Tags
  • design principle
  • program analysis
  • programming paradigm
  • semantics

The property of a function or computation that has no side effects and always returns the same output for the same input, making it referentially transparent.

Previous in ConceptsPrototype classNext in Concepts Pure type system
Books
  • Chapter 2. Evaluation
  • Logical foundations
JourneyProgramming Language Theory
Statusmastered
Tags
  • design principle
  • program analysis
  • programming paradigm
  • semantics