Turn a Maude expression into a String
-
13-06-2021 - |
题
Is there a way to turn a Maude expression into a string?
I'm looking for the equivalent of Haskell's show
.
解决方案
There's no really clean solution. You could convert the expression into a metaterm, metaPrettyPrint it, convert the resulting Qids to strings and concatenate them, but you would still need to deal with lexical issues, such as where to insert spaces.
(From the Maude mailing list)
不隶属于 StackOverflow