添加程序获取结果类型接口

[DistinctWind]

原因

让外部能获取生成程序的结果类型，就能让单元测试中测试程序的返回值是否正确。