• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    International Symposium on Haskell

    International Symposium on Haskell

    Conference

    年发文量

    研究主题

    暂无数据

    论文(1)

    排序
    1Non-recursive Make Considered Harmful
    Andrey Mokhov,Neil Mitchell, Simon Peyton Jones,Simon Marlow

    Most build systems start small and simple, but over time grow into hairy monsters that few dare to touch. As we demonstrate in this paper, there are a few issues that cause build systems major scalability challenges, and many pervasively used build systems (e.g. Make) do not scale well. This paper presents a solution to the challenges we identify. We use functional programming to design abstractions for build systems, and implement them on top of the Shake library, which allows us to describe build rules and dependencies. To substantiate our claims, we engineer a new build system for the Glasgow Haskell Compiler. The result is more scalable, faster, and spectacularly more maintainable than its Make-based predecessor.

    2016
    引用
    AI阅读
    加入学术空间

    高被引作者

    作者引用发文
    Neil Mitchell01
    Andrey Mokhov01
    Simon Marlow01

    高产作者

    作者引用发文
    Andrey Mokhov01
    Neil Mitchell01
    Simon Marlow01

    相关期刊

    ACM-SIGACT Symposium on Principles of Programming Languages
    Brazilian Symposium on Formal Methods
    International Federated Conference on Distributed Computing Techniques
    Programming based on Actors, Agents, and Decentralized Control
    Erlang Workshop
    Formal Aspects of Component Software
    International Conference on Formal Techniques for Distributed Objects, Components, and Systems
    Implementation and Application of Functional Languages
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    Principles and Practice of Declarative Programming