Porting IgorII from Maude to Haskell
Porting IgorII from Maude to Haskell
复制标题
将 IgorII 从 Maude 移植到 Haskell
DOI：
10.1007/978-3-642-11931-6_7
复制
发表时间：
2009
影响因子：
4.2
通讯作者：
Ute Schmid
中科院分区：
文献类型：
--
作者：
M. Hofmann;E. Kitzelmann;Ute Schmid
本文描述了我们在将IP系统Igor 2从术语重写语言Maude移植到Haskell方面所做的努力和解决方案。为了达到我们的目的，我们描述了如何在Haskell中使用一个使类型和类信息可用的有状态monad转换器来模拟同符号语言Maude的必要特性，特别是将代码当作数据处理，反之亦然。有了新的实现，我们现在可以在合成过程中使用高阶上下文，并从类型类中提取可用作背景知识的信息。保持我们的新实现尽可能接近我们的旧实现，我们可以保留系统的所有功能。
This paper describes our efforts and solutions in porting our IP system Igor 2 from the termrewriting language Maude to Haskell. We describe how, for our purpose necessary features of the homoiconic language Maude, especially the treatment of code as data and vice versa, can be simulated in Haskell using a stateful monad transformer which makes type and class information available. With our new implementation we are now able to use higher-order context during our synthesis and extract information from type classes useable as background knowledge. Keeping our new implementation as close as possible to our old, we could keep all features of our system.