软件组件与元语言的简约性原则

软件是一种通信系统。通信的通常主题是由程序编码的程序行为。特定领域的库是代码本，特定领域的语言是编码方案，等等。为了将隐喻转化为方法，我们采用信息论（高效通信研究）的工具，来探究语言和库让我们通信程序的效率。在先前的工作中，我们开发了问题领域中软件复用的信息论分析。这篇新论文使用信息论来分析组件、生成器和元语言设计中的权衡。我们寻求两个问题的答案：（1）我们如何判断一个组件是过度泛化还是泛化不足？借鉴最小描述长度原则，我们提出最佳组件能产生用例最简洁的表示。（2）如果我们将编程语言视为元语言的集合，每种元语言提供一种互补的抽象风格，这些元语言如何帮助或阻碍我们高效地描述软件？我们描述了抽象机制的能力、它所支持的复用量以及其使用的认知难度之间复杂的三角相互作用。