Tymnastics (2): 柯里化 用 TypeScript 的类型系统描述一个函数的柯里化过程。 2023/02/21 comp @pl @typescript tymnastics[2] #type #fp
Tymnastics (1): 标签联合动态派发 在 TypeScript 的标签联合（Tagged Union）上类型安全地动态派发。 2022/12/22 comp @pl @typescript tymnastics[1] #type