The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language
The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language
复制标题
树中的隐士 - GHC 核心语言中的机械化程序转换
DOI：
10.1007/978-3-642-41582-1_6
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Andy Gill
中科院分区：
文献类型：
--
作者：
Neil Sculthorpe;Andrew Farmer;Andy Gill
本文介绍了我们的经验，使用HERMIT工具包应用著名的转换的内部核心语言的格拉斯哥Haskell的编译器。HERMIT提供了几种机制来支持编写通用转换：一种用于GHC核心语言的战略编程的特定领域语言，一个原始重写库，以及一种用于交互式和批处理使用的基于shell风格的脚本语言。
This paper describes our experience using the HERMIT toolkit to apply well-known transformations to the internal core language of the Glasgow Haskell Compiler. HERMIT provides several mechanisms to support writing general-purpose transformations: a domain-specific language for strategic programming specialized to GHC’s core language, a library of primitive rewrites, and a shell-style–based scripting language for interactive and batch usage.