haskell - Haskell 表达式的 Alpha 转换

Question

给定一个 Haskell 表达式，我想执行 alpha 转换，即。重命名一些非自由变量。

我已经开始为此实现我自己的函数，该函数在 haskell-src-exts Exp 树上工作，但事实证明它非常重要，所以我不禁想知道 - 是否有一个既定的易于操作的函数- 使用库解决方案进行这种源转换？理想情况下，它应该与 haskell-src-exts 集成。

Answer 1

这是“废弃你的样板”风格的通用库大放异彩的问题之一!

我最熟悉的是the uniplate package ，但我现在实际上还没有安装它，所以我将使用 the lens package 中找到的(非常相似的)功能。 。这里的想法是，它使用 Data.Data.Data(这是有史以来最好的限定名称)和相关类以多态方式执行通用操作。

这是最简单的示例:

alphaConvert :: Module -> Module
alphaConvert = template %~ changeName

changeName :: Name -> Name
changeName (Ident n) = Ident $ n ++ "_conv"
changeName n = n

(%~) 运算符来自 lens，仅表示将函数 changeName 应用于通用遍历选择的所有内容 模板。所以它的作用是找到每个字母数字标识符并将 _conv 附加到它。在其自己的源代码上运行该程序会产生以下结果:

module AlphaConv where
import Language.Haskell.Exts
import Control.Lens
import Control.Lens.Plated
import Data.Data.Lens

instance Plated_conv Module_conv
main_conv
  = do ParseOk_conv md_conv <- parseFile_conv "AlphaConv.hs"
       putStrLn_conv $ prettyPrint_conv md_conv
       let md'_conv = alphaConvert_conv md_conv
       putStrLn_conv $ prettyPrint_conv md'_conv

alphaConvert_conv :: Module_conv -> Module_conv
alphaConvert_conv = template_conv %~ changeName_conv

changeName_conv :: Name_conv -> Name_conv
changeName_conv (Ident_conv n_conv)
  = Ident_conv $ n_conv ++ "_conv"
changeName_conv n_conv = n_conv

不是很有用，因为它不区分本地绑定(bind)的标识符和外部范围中定义的标识符(例如导入的标识符)，但它演示了基本思想。

lens 可能看起来有点吓人(它的功能远不止于此)；您可能会发现 uniplate 或其他库更容易使用。

解决实际问题的方法是进行多部分转换，首先选择要在其中进行 alpha 转换的子表达式，然后对这些子表达式使用转换来修改要更改的名称。