Programming from an alternate timeline!
summary
Recreates Frege’s 1879 branching notation as a working language called Gottlob implemented in JavaScript with a custom editor, turning IMPLIES (true in three of four truth-table cases) plus negation into control flow. Generality becomes a loop and an invented matrix generality returns arrays. The implementation runs examples: a prime checker and a compact Gregorian leap‑year calculator, showing the idea works but feels clumsy compared with AND/OR.
AI-written summary · about
chapters (4)
related talks
26mInfinite Possibilities
01h 03mFunctional Programming in JavaScript
38mIn praise of programming minimalism
45mBack to Front and Beyond
01h 44mPractical Observable Sharing
01h 04mWhat FP Can Learn From Formal Languages: Towards a Leaner Syntax
01h 35mRecursion Schemes, Algebras, Finally Tagless, Data Types
30mThe Universe in a Single Arrow: A Live Dive into the Lambda Calculus