通用重构 (Towards Generic Refactoring)
编程语言
2007-05-23 v1
摘要
我们在考虑语言甚至编程范式为参数的情况下研究程序重构。我们采用带类型函数程序，即 Haskell 程序，作为相应重构框架的规范介质。为了摆脱语言语法的束缚，我们遵循以下风格的规范。（I）关于程序分析和转换的原始算法，我们采用支持通用遍历和以 ad-hoc 方式细化的多态函数的通用函数组合子。（II）关于重构中涉及的语言抽象，我们设计了一个专门的多参数类。该类可以为各种语言中的抽象（例如 Java、Prolog 或 Haskell）进行实例化。
引用
@article{arxiv.cs/0203001,
title = {Towards Generic Refactoring},
author = {Ralf Laemmel},
journal= {arXiv preprint arXiv:cs/0203001},
year = {2007}
}