1月 4
CS Tea: Garrett Morris介绍“On extensibility”
Dr. 来自爱荷华大学的Garrett Morris将讲述他对编程语言的研究.
这次演讲将介绍我对程序设计语言的研究, 最近关于模块化和可扩展数据类型的一些结果就是一个例子, 以及简要描述我的职业生涯，并强调研究生学习的机会, 一般和爱荷华大学.
我对编程语言及其类型系统的研究是由两个首要目标指导的. 一方面，一方面, 类型应该精确地指定程序行For, 允许程序员排除类的错误行For. 另一方面, 类型应该支持表达工具, 允许程序员构建模块化, 可重用的软件和软件组件. 我的作品是这些想法的交集, 改进泛型编程机制，以更好地执行预期的程序行For，并支持更具表现力的抽象.
可扩展性是程序设计和程序设计语言中一个长期存在的问题. 目标很简单:程序及其数据的规范应该支持添加新类型的数据和对数据的新操作. 尽管早在1975年就发现了这个问题, 现代语言缺乏有效的解决方法. 面向对象语言要求程序员采用不直观的模式，比如访问者模式, 而函数式语言依赖于数据类型的编码. 出现类似问题的低级语言依赖于文本替换. 我将介绍最近的工作，它提出了一种统一的方法来扩展数据和程序规范. 我将展示这项工作如何同时包含可扩展数据类型的现有方法, 并捕获了在所有现有系统中无法表达的示例. 我们的方法自然是一般化的, 提供可扩展对象的单一帐户, 影响, 以及位级规格.
传记:J. Garrett Morris是爱荷华大学计算机科学系的助理教授和荣誉教授. 他获得了博士学位。.D. 来自俄勒冈州波特兰州立大学, 并在爱丁堡大学接受博士后培训, 苏格兰. 他的研究重点是高阶函数式编程语言类型系统的开发, 具有提高高级编程的表达性和模块化以及支持安全并发的双重目标, 低级, 有效的规划. 他的作品出现在编程语言理论和函数式编程的顶级场所, 并由NS支持
从 计算机科学