审计程序类型主要包括以下几种：
检查：
审计人员对被审计单位或外部其他单位电子、纸质或其他介质存在的记录、文件进行审查，或对实物资产进行审查的一种程序。这种程序具有方向性，例如执行抽盘时，审计人员既要从实物检查至盘点记录，也要从盘点记录检查至实物。
观察：
审计人员查看相关人员正在从事的活动或实施的程序。这种程序有时会让被观察人员受到观察行为的影响，因此不能充分获取审计证据。
询问：
审计人员以书面或口头方式向被审计单位内部或外部的知情人员获取财务信息和非财务信息，并对他们的答复进行评价的过程。
函证：
审计人员向被审计单位外部相关方发函，以获取与被审计单位有关的证据。
重新计算：
审计人员对被审计单位的某些财务数据或业务数据进行重新计算，以验证其准确性。
重新执行：
审计人员重新执行被审计单位已经执行过的某些程序或控制，以验证其有效性。
分析程序：
审计人员通过对被审计单位的财务数据进行分析，以确定是否存在异常情况或不符合会计准则的情况。
这些审计程序类型在不同的审计阶段和情境下有不同的应用，审计人员可以根据具体情况和审计目标选择合适的程序来获取充分、适当的审计证据。