修订计划

[suica]

现状

1. 多态 TAT 的测试用例不充分。
2. 对数学知识的要求不够理想。我们需要让大多数开发者都能够读懂这个教程，因此需要对教程补充更多的注释性文本，控制难度曲线。
3. 缺少图片。我们发现对一些较为抽象的概念，若是进行可视化，可以更好地辅助理解。
4. 我现在已经学到了更多的知识，并且对类型理论和编程语言有了更好的理解。

Ref: #19

计划

我决定对本教程进行修订，包含如下事项：

• [x] #22
• [x] #21
• [x] #23
• [ ] #26
• [x] 增加 prettier 格式化
• [ ] 完善第一章
  • [ ] #27
  • [x] 解释数学知识
• [ ] #24
• [ ] #25
• [ ] 完善多态TAT的测试用例
• [ ] 完善多态TAT的参考实现
• [ ] 完善第五章：TypeScript的类型编程
  • [ ] 如何在类型上编码计算过程
  • [ ] 在类型上实现自然数
  • [ ] TypeScript的类型系统的图灵完备性
  • [ ] 实现 TypeScript代码 到 TypeScript 类型虚拟机的翻译 (new)
  • [x] ~lambda-cube 图片增加引用来源~ 使用自绘lambda cube替换无版权图片
• [ ] 行文风格的调整得更加柔和

[wugouzi]

资辞