Types are not ceremony. Used well, they are a shared map for teams working on systems that need to change safely.
Writing is a way to make decisions visible. These notes collect the small patterns, trade-offs and observations that keep shaping my work.