Reading...

• TypeScript 的类型是一门独立的「纯函数式编程语言」
• 类型与值
• extends 与分支条件
• 变量声明
• 函数声明与调用
• 没有高阶函数不影响表达能力
• 模式匹配
• 递归与尾递归
  • 普通递归
  • 尾递归 & 尾递归转循环 & 通用递归转循环
  • 循环转尾递归
  • 尾递归遍历树
• 实现 Lisp 解释器
  • 基本加减乘除运算
  • 词法分析

link

• TypeScript 类型体操天花板