12月15日由Jeff Foster教授主持的杰出计算机科学研讨会
标题：动态语言的类型
主讲人：杰夫·福斯特教授，塔夫茨大学
时间：2023年12月15日星期五上午11点地点：CDS 1750
动态语言非常灵活，使用起来很有趣，并且具有强大的代码权重比。但是缺乏静态类型会阻碍软件开发，使代码维护更加困难，并导致长时间潜伏在代码中的bug。在过去的15年中，我一直在开发将静态类型添加到Ruby（一种流行的动态编程语言）的方法，以一种实用而有效的方式。在这次演讲中，我将讨论一系列重要的澳门威尼斯人注册网站研究成果，这些成果导致了Ruby健壮的类型系统，从基本类型系统到即时类型检查再到计算类型。我还将概述如何使用启发式和机器学习来改进类型推断。最后，我将讨论从帮助将我的工作见解转化为实践中学到的一些经验教训：自2020年底以来，类型已经成为Ruby的一部分，并且在社区中的采用仍在稳步增长。
Jeffrey S. Foster是塔夫茨大学计算机科学系的教授和主席，他也是ACM编程语言特别兴趣小组（SIGPLAN）的主席。2003年至2018年，他先后担任马里兰大学帕克分校计算机科学系助理、副教授和正教授。他于2002年获得加州大学伯克利分校计算机科学博士学位。福斯特博士的澳门威尼斯人注册网站研究重点是开发编程语言和软件工程方法，使软件更容易编写，更可靠，更安全，更可用。福斯特博士是NSF CAREER奖（2004）的获得者，也是DARPA计算机科学澳门威尼斯人注册网站研究小组的成员。
将此事件添加到您的