本课讲解子程序的过程与函数、参数模式（in/out/in out）、默认参数与命名关联、重载、递归，实现模块化设计。

本课讲解访问类型（指针）的声明与动态分配、手动释放、安全性机制（aliased、作用域），以及链表等动态数据结构实现。

本课讲解记录类型：异构数据聚合、变体记录（判别式动态结构）、表示子句控制内存布局，以及记录在数据建模中的应用。

本课讲解Ada数组：约束与非约束数组、属性、聚集、切片、多维数组操作，通过成绩统计示例演示数组应用。

本课讲解枚举与布尔类型：枚举定义、属性、表示子句；布尔作为预定义枚举，逻辑运算与短路求值；字符三级；状态机示例。

本课讲解Ada浮点（digits）与定点（delta）类型：浮点用于科学计算，定点用于精确小数运算，涵盖定义、属性、误差控制及示例。

本课讲解预定义整数类型族与定义整数，详解模类型的无符号回绕与位运算，溢出处理策略，介绍大小子句与表示子句与实际应用。

我实测多款AI开发工具，分享自用Kimi+GLM组合、协作流程、Token优化与团队落地方法，全是实战踩坑总结，帮你高效落地AI开发。

本课讲解Ada强类型的设计哲学，详解类型/子类型/派生类型，梳理标量类型与复合类型，演示类型与物理单位建模等类型安全实践。