Typescript的运行时类型系统

将运行时类型定义，校验和编辑时类型提示检测联系起来，基于ts-metacode实现
主要功能(打勾表示已经实现):

• [x] 定义运行时类型
• [x] 在开发时提供等同于Typescript类型定义的提示功能（类型生成）
• [x] 使用typedef对value进行校验
  • [x] validate函数提供的结果可以被编辑器用作类型跟踪
• [ ] 支持可扩展的类型定义（自定义class）
• [ ] 扩展类型定义
  • [ ] 支持在类型定义中添加默认值
  • [ ] 支持在类型定义中添加Example表（kv对），并支持使用函数直接获取
  • [ ] 支持动态对类型定义添加Example值，并保持类型定义的功能不变
  • [ ] 对添加Example后或Default后的类型定义，支持将添加的值的信息（如key名）添加到类型定义中，并提供编辑时支持
  • [ ] 对不同模态的类型定义实现兼容

Example

以下为已实现功能的测试

静态类型获取

// 测试部分
const tp = {
  a: Object,
  b: String,
  c:Number,
  h: {
    c: Object
  },
  k: multi([Object, Array, String]),
  // default this declare a type of (number|object)[]
  s: [Object, Number],
  sss:ANY
};


type MyType = TypeOf<typeof tp>;

// 此时MyType的类型和直接使用interface或type关键字定义的类型一致，支持编译器提示

编译时数据类型检测

const tt = {
  a: Object,
  b: String,
  c: {
    d:Number
  }
}
//! 以下代码会报错 d的类型错误，应该为number
const v = value(tt, {
  a: {t:""},
  b: "",
  c: {
    d:"s"
  }
})

运行时类型校验

const tt = {
  a: Object,
  b: String,
  c: {
    d:Number
  }
}
//以下代码得到true ，可尝试修改其中数据类型，查看校验结果
console.log(validate(tt, {
  a: {t:""},
  b: "",
  c: {
    d:100
  }
}))

问题

• [ ] object类型拦截问题，所有不在基本类型表中的类型会被映射为object，限制了可扩展性，这有赖于ts-metacode包的更新改进映射功能
• [ ] ANY类型的定义问题，可能存在隐患（{}别名产生的问题）