II-EN: Collaborative Research: Positioning MLton for Next-Generation Programming Languages Research

II-EN：协作研究：为下一代编程语言研究定位 MLton

• 批准号: 1405614
• 负责人: Lukasz Ziarek
• 金额: $ 38.16万
• 依托单位: SUNY at Buffalo
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-08-01 至 2018-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1405614&HistoricalAwards=false
• 关键词: II; EN; Collaborative; Research; Positioning

MLton is an open-source, whole-program, optimizing compiler for the Standard ML programming language. As with any large and mature software system, there is a need to evaluate the design and architecture of the MLton software project, and to make any substantive changes required for continued research and development. This Computing Research Infrastructure project supports enhancements to position MLton as a vehicle for research in programming-language design and implementation. These enhancements will directly support research, while providing students and next-generation of researchers with a software development experience in the context of a production-level compiler, a complex software system that draws together many themes of Computer Science education, and encourages critical thinking. Finally, these enhancements will indirectly support both the broader programming-languages research community and industry software developers that use functional programming languages. The broader impacts of the project will be in training of student research assistants at all levels, the development of documentation and course materials for teaching compiler-related topics using the MLton infrastructure, and the continued support for MLton's industrial and academic users.Specific infrastructure enhancements will include development of type-checking and optimization infrastructures, threading and garbage collection frameworks, configuration and benchmarking support systems, and documentation including course material. These enhancements will directly support research exploring whole-program compilation of next-generation language features (such as first-class polymorphism, generalized algebraic data types, and higher-order polymorphism) and research exploring programming for next-generation execution platforms (such as multi-core parallel systems, real-time embedded systems, and cloud-based distributed systems). One significant goal is to provide a single research vehicle that is easily configurable to scientifically compare and contrast research results, thereby enabling researchers to make stronger claims based on more meaningful comparisons, rather than relying on weaker claims across multiple system stacks.

MLton 是一个针对标准机器学习编程语言的开源全程序优化编译器。与任何大型且成熟的软件系统一样，需要评估 MLton 软件项目的设计和架构，并做出持续研究和开发所需的任何实质性更改。 该计算研究基础设施项目支持增强功能，将 MLton 定位为编程语言设计和实现研究的工具。 这些增强功能将直接支持研究，同时为学生和下一代研究人员提供生产级编译器环境中的软件开发经验，这是一个复杂的软件系统，汇集了计算机科学教育的许多主题，并鼓励批判性思维。 最后，这些增强功能将间接支持更广泛的编程语言研究社区和使用函数式编程语言的行业软件开发人员。该项目的更广泛影响将包括培训各级学生研究助理、开发使用 MLton 基础设施教授编译器相关主题的文档和课程材料，以及为 MLton 的工业和学术用户提供持续支持。具体的基础设施增强将包括开发类型检查和优化基础设施、线程和垃圾收集框架、配置和基准测试支持系统，以及 文档，包括课程材料。这些增强功能将直接支持探索下一代语言特性（例如一流多态性、广义代数数据类型和高阶多态性）的全程序编译的研究以及探索下一代执行平台（例如多核并行系统、实时嵌入式系统和基于云的分布式系统）的编程的研究。一个重要的目标是提供一种易于配置的单一研究工具，以科学地比较和对比研究结果，从而使研究人员能够基于更有意义的比较提出更有力的主张，而不是依赖于多个系统堆栈中较弱的主张。