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