#有感而发
类型系统的设计是一门精巧的艺术。
希望我也能最终掌握这门古老而现代的艺术。