Type：一种打字稿类型生成的编程语言