65、Erlang 重构脚本的领域特定语言

Erlang 重构脚本的领域特定语言

1. 术语定义

在讨论用于脚本化重构的领域特定语言（DSL）时，需要了解一些关键术语：
- 前置条件 ：是一个可能带有参数的谓词，作用于程序或子程序，返回布尔值。
- 转换规则 ：将一个程序映射为另一个程序。
- 基本重构 ：是一种保持行为的源到源程序转换，由一组前置条件 C 和一组转换规则 T 组成。应用时先检查前置条件，若所有前置条件的合取为 true 则重构成功，否则失败。
- 原子组合 ：对于一系列重构 R1, ..., Rn （ n ≥ 1 ），记为 R1 ◦ R2 ◦ · · · ◦ Rn 。若其中任何一个 Ri 应用失败，整个重构失败并返回原始程序；若所有 Ri 都成功，则返回应用 Rn 后的程序。
- 非原子组合 ：对于一系列重构 R1, ..., Rn （ n ≥ 1 ），记为 R1 ⋄ R2 ⋄ · · · ⋄ Rn 。若 Ri 失败， Ri+1 继续在最后一次成功应用的程序（若之前都失败则在原始程序）上执行。失败