Convert list to a string in Oz?

1.2k views Asked by At

How to convert a list to a string in Oz?

I have a list of characters I need to convert to a string and I didn't see any concatenation operator in the Oz documentation.

3

There are 3 answers

0
Esteban On

You can't because a string is a list of characters. However, 'hello' is not a string in oz, but "hello" is.

0
sepp2k On

A list of characters is a string in oz. [102 111 111] is the same as "foo".

0
Benoît Legat On

To see the string in the browser and not the list, open the browser with a Browse and choose Options/Representations and enable Strings.