拉尔夫·拉梅尔 Haskell（白皮书）中的可编程重写策略。 （英文） Zbl 1272.68190号 Antoy，S.（ed.）等人，《第四届改写和编程简化策略国际研讨会论文集》（WRS 2004），德国亚琛，2004年6月2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》124，第2期，101-112（2005）。 概要：可编程重写策略为在语法驱动（或模式驱动）工具中实现遍历功能提供了一个有价值的工具。工作中的Haskell程序员可以通过两个类似的选项访问可编程重写策略：（i）用于泛型函数编程和语言处理的Strafunski捆绑包，以及（ii）用于泛类函数编程的“废弃样板”方法。基本重写步骤被编码为数据类型上的单态函数。重写策略是由适当的基本策略组合子组成的多态函数。我们将简要回顾Haskell中的可编程重写策略。我们将解决以下问题：（i）哈斯克利什战略的优点是什么？二战略方案拟订和一般方案拟订之间的关系是什么？（三）未来职能战略工作面临哪些挑战？关于整个系列，请参见[Zbl 1271.68017号]. MSC公司： 2012年第68季度 语法和重写系统 68甲18 函数编程和lambda演算 软件：ASF+SDF;咖喱;息肉;哈斯克尔;西洋陆军棋 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel}，电子。注释Theor。计算。科学。124，第2号，101--112（2005；Zbl 1272.68190） 全文： 链接