Tag
A tweet shares a personal anecdote about explaining object-oriented programming to a humanities student, who insightfully summarized it as 'classification', leading the author to discover applied category theory and a related course.
Reproduced emails from Alan Kay in 2003 clarify the original meaning of "object-oriented programming" — centered on messaging, data hiding, and a biological/cell metaphor, with inheritance intentionally omitted initially.
The article explores the Liskov Substitution Principle beyond its common interpretation, emphasizing its formal basis in subtyping with preconditions, postconditions, invariants, and history properties, and citing original research papers.