The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs

ACM SIGPLAN Symposium/Workshop on Haskell Pub Date : 2013-01-17 DOI:10.1145/2364506.2364508

Andrew Farmer, Andy Gill, E. Komp, Neil Sculthorpe

{"title":"The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs","authors":"Andrew Farmer, Andy Gill, E. Komp, Neil Sculthorpe","doi":"10.1145/2364506.2364508","DOIUrl":null,"url":null,"abstract":"The importance of reasoning about and refactoring programs is a central tenet of functional programming. Yet our compilers and development toolchains only provide rudimentary support for these tasks. This paper introduces a programmatic and compiler-centric interface that facilitates refactoring and equational reasoning. To develop our ideas, we have implemented HERMIT, a toolkit enabling informal but systematic transformation of Haskell programs from inside the Glasgow Haskell Compiler's optimization pipeline. With HERMIT, users can experiment with optimizations and equational reasoning, while the tedious heavy lifting of performing the actual transformations is done for them.\n HERMIT provides a transformation API that can be used to build higher-level rewrite tools. One use-case is prototyping new optimizations as clients of this API before being committed to the GHC toolchain. We describe a HERMIT application - a read-eval-print shell for performing transformations using HERMIT. We also demonstrate using this shell to prototype an optimization on a specific example, and report our initial experiences and remaining challenges.","PeriodicalId":188691,"journal":{"name":"ACM SIGPLAN Symposium/Workshop on Haskell","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"33","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGPLAN Symposium/Workshop on Haskell","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2364506.2364508","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 33

Abstract

The importance of reasoning about and refactoring programs is a central tenet of functional programming. Yet our compilers and development toolchains only provide rudimentary support for these tasks. This paper introduces a programmatic and compiler-centric interface that facilitates refactoring and equational reasoning. To develop our ideas, we have implemented HERMIT, a toolkit enabling informal but systematic transformation of Haskell programs from inside the Glasgow Haskell Compiler's optimization pipeline. With HERMIT, users can experiment with optimizations and equational reasoning, while the tedious heavy lifting of performing the actual transformations is done for them. HERMIT provides a transformation API that can be used to build higher-level rewrite tools. One use-case is prototyping new optimizations as clients of this API before being committed to the GHC toolchain. We describe a HERMIT application - a read-eval-print shell for performing transformations using HERMIT. We also demonstrate using this shell to prototype an optimization on a specific example, and report our initial experiences and remaining challenges.

查看原文本刊更多论文

机器中的HERMIT:用于GHC核心语言程序交互转换的插件

对程序进行推理和重构的重要性是函数式编程的核心原则。然而，我们的编译器和开发工具链仅为这些任务提供基本的支持。本文介绍了一个以编程和编译器为中心的接口，它有助于重构和等式推理。为了实现我们的想法，我们实现了HERMIT，这是一个工具箱，可以从格拉斯哥Haskell编译器的优化管道内部对Haskell程序进行非正式但系统的转换。使用HERMIT，用户可以尝试优化和式推理，而执行实际转换的繁琐工作则由他们完成。HERMIT提供了一个转换API，可用于构建更高级的重写工具。一个用例是在提交到GHC工具链之前，作为这个API的客户端对新的优化进行原型设计。我们将描述一个HERMIT应用程序——一个读取-执行-打印shell，用于使用HERMIT执行转换。我们还演示了如何使用这个shell对一个特定示例进行原型化优化，并报告了我们的初步经验和仍然存在的挑战。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

ACM SIGPLAN Symposium/Workshop on Haskell

自引率

0.00%

发文量