普林斯顿大学作业，ML静态动态类型检查语义分析，该分析先进性静态类型分析，然后基于动态类型，进行运行结果分析。