Type theory
HoldTechniques
A framework that classifies expressions into types to constrain meaning and operations.
Why it's here
Placed in Hold: 1 article(s) of evidence from 1 source(s), led by research-stage coverage, with 0 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.
Evidence (1)
- 3Hacker News·8/12/2026researchPrincipia Mathematica read as a modern programming-languages text
This article argues that Whitehead and Russell’s Principia Mathematica, published in 1910, anticipates many ideas familiar from modern programming languages and logic. It highlights referential transparency, extensionality, types, free and bound variables, substitution, abstraction, application, and even early hints of intuitionism and lambda-calculus-like thinking.