SIG-类型系统 技术沙龙预告

编程语言技术社区介绍

编程语言技术社区会由多个 SIG（Special Interest Gorup） 与 WG（Work Group） 组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。

更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。

SIG 介绍

SIG-类型系统 旨在建设一个针对编程语言类型系统技术领域学习、分享、成长的平台，吸引并聚集对类型系统相关核心技术有所研究、有所建树的专家、学者以及对学习类型系统相关技术拥有热情的学生们。当前已加入多名核心成员，分别代表企业技术专家、学术界研究学者、学生群体与用户群体等。

SIG-类型系统 会定期举办沙龙会议，分享各自的研究进展，将技术分享、学习交流、技术开发等活动常规化、公开化，为技术爱好者提供学习交流的平台。

Gitee 地址：

https://gitee.com/HW-PLLab/community/tree/master/sigs/SIG-TypeSystem

SIG 主席：待定

当前核心成员：