有没有办法将 Maude 表达式转换为字符串？
我正在寻找相当于 Haskell 的show.
问问题
181 次
1 回答
2
没有真正干净的解决方案。您可以将表达式转换为元术语，metaPrettyPrint 它，将生成的 Qid 转换为字符串并将它们连接起来，但您仍然需要处理词汇问题，例如在哪里插入空格。
（来自莫德邮件列表）
于 2012-06-08T15:19:00.320 回答