paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Build systems à la carte: Theory and practice

构建系统 à la carte：理论与实践
JFP vol.302020匹配度 2/10 · 论文属于PL/软件工程中构建系统的理论与工程框架，虽与开发者工具和程序分析基础设施有一定关联，但不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心研究方向。引用 52 inbox
ANDREY MOKHOV, NEIL MITCHELL, SIMON PEYTON JONES
编程环境与开发者工具
dblp: 2026-09-10crossref: 2026-09-10

AI 速览

一句话：提出可执行框架，将构建系统拆解为可组合组件，以系统比较并原型化新的构建系统。

构建系统几乎被所有开发者使用，却很少成为系统研究的对象。本文把现有构建系统视为同一设计空间中的相关点，而非彼此孤立的现象。作者提出一个系统化且可执行的框架，用于开发和比较构建系统：通过拆解现有系统的组成组件，再以不同方式重新组合，可以探索设计选择并原型化具有期望性质的新构建系统。该工作强调理论与实践结合，既可执行地表达不同构建系统，也揭示了它们之间的共性与差异，为构建系统的设计、比较和演化提供统一视角。

问题
构建系统使用广泛但缺乏系统研究，现有系统常被孤立地处理，难以比较设计、复用组件或系统化地原型化新方案。
方法
提出一个系统化且可执行的框架，将构建系统看作设计空间中的相关点，拆解现有系统的组件并重新组合以开发新构建系统。
评估
摘要未报告定量实验或基准结果；作者通过框架的可执行性、对现有构建系统的拆解重组以及原型化新构建系统来展示其适用性。
原文摘要（Abstract）

Abstract Build systems are awesome, terrifying – and unloved. They are used by every developer around the world, but are rarely the object of study. In this paper, we offer a systematic, and executable, framework for developing and comparing build systems, viewing them as related points in a landscape rather than as isolated phenomena. By teasing apart existing build systems, we can recombine their components, allowing us to prototype new build systems with desired properties.

链接与引用

DOI 原文 · PDF（开放获取） · DBLP

BibTeX 
@article{MokhovMJ20,
  title = {Build systems à la carte: Theory and practice},
  author = {ANDREY MOKHOV and NEIL MITCHELL and SIMON PEYTON JONES},
  journal = {Journal of Functional Programming},
  volume = {30},
  year = {2020},
  doi = {10.1017/s0956796820000088}
}