Value in a Procedural World
summary
Argues that values are observable patterns of program execution, not platonic things, and supports that with three concrete rules — stability, substitutability, repeatability — plus examples: assignment semantics, floating‑point and pointer provenance, vector element‑wise discernment, and the isatty lacuna showing a non‑answer. Proposes a practical interface groove with a discernible operator and shows how execution paths map to ensembles of values so compilers, tests or refactorings can reason about behavior.
AI-written summary · about
chapters (15)
- 0:00Start
- 9:51Georg Cantor
- 11:09Z Zermelo Set Theory
- 13:43Formalism
- 21:04Functionalism
- 24:09Pointless Topology
- 26:20Principle Stability
- 34:22Function Interface
- 40:51Problems with Substitutability
- 47:04Switch Statement
- 59:18Operator Discernible
- 1:04:25Relationship between Functions and Ensembles of Values
- 1:15:55How Do I Understand the Two Functors of the Adjunction and What Are the Objects and the Arrows of the Category of Ensembles and Ditto Functions
- 1:22:01Pointers
- 1:28:05Discernible Function
related talks
01h 01mValue Semantics: Safety, Independence, Projection, & Future of Programming
51mBack to Basics: Master C++ Value Categories With Standard Tools
01h 12mThe Truth of a Procedure
48mBack to Basics: Cpp Value Semantics
01h 00mThe Implementation of Value Types
01h 03mto pass and return, the story of functions, values and compilers
57mBetter Code: Exploring Validity in C++
01h 01mVal: A Safe Language to Interoperate with C++