Wonderful inductive reasoning from why object oriented programming of a game is challenging in Rust to some larger lessons about managing large type systems. I

Wonderful inductive reasoning from why object oriented programming of a game is challenging in Rust to some larger lessons about managing large type systems. I felt the discussion of crossing the barrier to Lua hinted towards some larger truths about types in distributed systems.