以下是 TypeScript 程序的常见组成部分：
声明部分：包括类型声明、接口声明等。
变量声明：包括 let, const 和 var 的使用。
函数声明：包括普通函数和箭头函数。
类声明：用于定义类及其成员。
接口与类型别名：描述类型的结构。
模块化：通过 import 和 export 组织代码。
类型断言：强制类型转换。
泛型：使代码具备更多的复用性。
注释：增加代码的可读性。
类型推断：自动推断类型。
类型守卫：缩小类型范围。
异步编程：支持 async/await。
错误处理：通过 try/catch 进行错误捕捉。