Convert list to a string in Oz?

Question

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.

score 3 · Answer 1 · answered Nov 24 '09 at 15:36

3

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

answered Nov 24 '09 at 15:36

sepp2k

score 1 · Answer 2 · answered Mar 17 '14 at 14:00

1

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

answered Mar 17 '14 at 14:00

Benoît Legat

score 0 · Answer 3 · answered Nov 10 '18 at 14:30

0

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

answered Nov 10 '18 at 14:30

Esteban

3 Answers3