文章

类型最有用的时刻，是它把原本藏在运行时的约定，变成了编辑器里清楚可见的边界。