类型安全的可扩展编程
摘要：软件产品随着时间的推移而演变。有时，它们通过添加新功能来演变，有时则通过修复错误或用新的实现替换过时的实现来演变。当软件工程师在开发过程中未能预见到这种演变时，他们最终将被迫重新架构或从头开始构建。因此，在软件产品的寿命内为变化做准备已经成为常见做法，以使其具备可扩展性。然而，使软件具备可扩展性是具有挑战性的，因为很难预测连续的变化，并为潜在的变化提供足够的抽象机制。此外，这种可扩展机制在扩展过程中不应妥协任何现有功能。软件工程师将从提供可靠方式的工具中受益，以添加扩展。期望编程语言来扮演这个角色是自然而然的。可扩展编程是解决这些问题的一种努力。在这篇论文中，我们提出了使用MLPolyR语言进行类型安全可扩展编程。MLPolyR是一种类似于ML的功能性语言，其类型系统在多个层次上提供了类型安全的可扩展机制。在介绍语言之后，我们将展示如何将这些可扩展机制应用于产品线工程的背景下。产品线工程是一种新兴的软件工程范 paradigm，旨在管理源自软件的连续变化的变体。
作者：Wonseok Chae
论文ID：0910.2654
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-10-15