Splitting a String into characters

Converting a string of characters into a sequence of single characters.
To reverse the transformation, we can use string-join($seq,"") .

1. FunctX

From Priscilla's FunctX library

2. FunctX unrolled

as for Functx:chars but with the code expanded in place

3. Substring

The obvious algorithm using substring

4. recursive

Probably a very bad idea

5. Reverse

To reverse this transformation we can use string-join:

6. Tokenize

Tokenize fails due to a failure in the reg exp : FORX0003: regular expression could match empty string [at line 3, column 8]