Working with source plugins
Working with source plugins
复制标题
使用源插件
DOI：
10.1145/3331545.3342599
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Pickering M
中科院分区：
文献类型：
--
作者：
Pickering M
一个现代的编译器计算和构造了大量的关于它所编译的程序的信息。工具作者希望利用这些信息，以有趣的方式扩展编译器。源代码插件是格拉斯哥Haskell编译器（GHC）中实现的一种机制，它允许在程序通过编译管道时对其进行检查和修改。由于它们的性质它们是扩展编译器的方法至少关于编译器如何工作的基本知识对于设计和实现一个健壮的，因此是成功的插件是至关重要的。本文的目标是为潜在的插件作者提供关于他们应该编写什么样的插件的灵感，最重要的是应该使用的基本技术来编写它们。
A modern compiler calculates and constructs a large amount of information about the programs it compiles. Tooling authors want to take advantage of this information in order to extend the compiler in interesting ways. Source plugins are a mechanism implemented in the Glasgow Haskell Compiler (GHC) which allow inspection and modification of programs as they pass through the compilation pipeline.This paper is about how to write source plugins. Due to their nature—they are ways to extend the compiler—at least basic knowledge about how the compiler works is critical to designing and implementing a robust and therefore successful plugin. The goal of the paper is to equip would-be plugin authors with inspiration about what kinds of plugins they should write and most importantly with the basic techniques which should be used in order to write them.
登录
查看更多内容
实用的类型化惰性合约
DOI：
--
发表时间：
2012
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
O. Chitil
通讯作者：
O. Chitil
兑现承诺就是兑现承诺：检验测试
DOI：
10.1145/3242744.3242748
发表时间：
2018
期刊：
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell
影响因子：
--
作者：
Joachim Breitner
通讯作者：
Joachim Breitner
DOI：
10.1145/2951913.2951932
发表时间：
2016-09
期刊：
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
D. Christiansen;Edwin C. Brady
通讯作者：
D. Christiansen;Edwin C. Brady
安全哈斯克尔
DOI：
--
发表时间：
2013
期刊：
ACM SIGPLAN Symposium/Workshop on Haskell
影响因子：
--
作者：
David Terei;S. Marlow;S. Jones;David Mazières
通讯作者：
David Mazières
测量单位的类型检查器插件：GHC Haskell 中的特定领域约束求解
DOI：
--
发表时间：
2015
期刊：
ACM SIGPLAN Symposium/Workshop on Haskell
影响因子：
--
作者：
Adam Gundry
通讯作者：
Adam Gundry