paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Build systems à la carte

构建系统 à la carte
ICFP 2(ICFP)2018匹配度 2/10 · 该论文属于构建系统与开发者工具方向的经典 PL 工作，但与用户核心关注的 AI×PL、静态分析/形式化验证、浮点程序分析、贝叶斯程序分析以及 LLM/Agent 交叉均无直接关系。引用 36 inbox
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
领域特定语言与建模编程环境与开发者工具
crossref: 2026-09-10

AI 速览

一句话：提出可执行模块化框架，将构建系统视为设计空间中的点，通过拆解与重组组件来比较并原型化新构建系统。

构建系统被广泛使用却常被视为可怕且缺乏研究的工具。本文提出一个系统化且可执行的框架，将现有构建系统视为同一设计空间中的相关点，而非孤立现象。通过拆解各构建系统的组件，框架允许重新组合这些组件，从而比较不同设计并原型化具有所需性质的新构建系统。该工作为构建系统的开发、比较与教学提供了统一视角，并以可执行方式展示组件化组合的可行性。

问题
构建系统被广泛使用却缺乏系统研究，现有系统常被孤立看待，难以比较和复用设计。
方法
提出一个系统化且可执行的框架，把构建系统建模为设计空间中的相关点，并支持拆解现有组件后重新组合。
评估
通过拆解和重组现有构建系统的组件，展示该框架可用于比较不同设计并原型化具有期望性质的新构建系统。
原文摘要（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 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（开放获取） ·

BibTeX 
@article{paperbot305,
  title = {Build systems à la carte},
  author = {Andrey Mokhov and Neil Mitchell and Simon Peyton Jones},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
  year = {2018},
  doi = {10.1145/3236774}
}