CRI: Standard ML Software Infrastructure

标准ML编程语言作为一种健壮的、高级的、通用的语言非常重要，它的设计建立在坚实而清晰的理论基础上，并以简洁、严格和完整的形式定义表示。在过去的二十年里，它已经成为编程语言研究社区的典范语言。新泽西州的标准ML是标准ML使用最广泛和支持最好的实现，自20世纪80年代末以来，它在编程语言和形式化方法研究社区(以及其他社区)中得到了广泛使用。它是一个免费的开放源码软件系统，具有自由的BSD风格的许可证。为了保持生存和竞争力，需要不断维护和改进方案编制系统，本奖项提供的资源将有助于做到这一点。为了保持和增加SML/NJ对其用户社区的价值，本提案将满足以下需求：(1)使SML/NJ与先进的技术保持同步(例如，支持位体系结构、Unicode字符和字符串类型、改进与其他语言的互操作性、支持新的操作系统版本和新平台)；(2)作为编程工具和研究和教育平台，提高系统的性能、可靠性、能力和可用性；以及(3)管理开放源码开发过程(例如，管理错误报告和修复、集成贡献的代码、测试、构建版本、编写和修订文档等)。此外，拟议的设备基础设施，包括支持的架构和操作系统的实例，将有助于保持SML/NJ众所周知的宝贵的平台多样性。这是作为社区资源授予的。该奖项的更广泛影响包括它在编程语言领域的研究和教育中的广泛使用，以及在主要系统开发中的使用。

The Standard ML programming language is important as a robust, high-level, general-purpose language whose design is based on firm and clear theoretical foundations, expressed in a concise, rigorous and complete formal definition. It has become a paradigmatic language for the programming language research community over the last twenty years. Standard ML of New Jersey is the most widely used and best supported implementation of Standard ML, and it has seen wide use in the programming language and formal methods research communities (among others) since the late 1980s. It is available as a free, open source software system with a liberal BSD-style license. To remain viable and competitive, a programming system needs to be continually maintained and improved, and the resources provided under this award will help to do this. In order to maintain and increase the value of SML/NJ to its user community, this proposal will address the following needs: (1) to keep SML/NJ in step with advancing technologies (e.g. support for 64-bit architectures, Unicode character and string types, improved interoperability with other languages, support for new operating system releases and new platforms), (2) to improve the system's performance, reliability, capabilities, and usability, both as a programming tool and as a research and education platform, and (3) to manage the open source development process (e.g. managing bug reports and fixes, integrating contributed code, testing, building releases, writing and revising documentation, etc.). In addition, the proposed equipment infrastructure, consisting of instances of supported architectures and operating systems, will help maintain the valuable diversity of platforms that SML/NJ is known for.This is awarded as a community resource. Broader impacts of this award include its wide use in research and education in the field of programming languages, and use in development of major systems.