输入关键词，发现一些想法
开发实践、技术笔记，以及一些不止于代码的思考。
类型最有用的时刻，是它把原本藏在运行时的约定，变成了编辑器里清楚可见的边界。
沿着一次页面请求走一遍，把数据读取、HTML 生成和客户端交互放回它们各自的位置。