原文来自微信公众号：编程语言Lab-基于语义的编译器测试 搜索关注编程语言Lab 公众号：HW-PLLab获取编程语言更多技术内容 如果读者想了解更多有关类型系统相关的技术内容，欢迎加入编程语言社区 SIG-程序分析。 加…