Types are a conversation, not a contract I used to think strong typing was about preventing bugs. Now I think it's about thinking out loud — and the bugs prevented are a side effect. Jan 19, 2026 · 4 min read #Type Systems #Engineering Habits