TypeSafe AI 决策模型:软件自动化与类型化输出