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