## 13.2.4.8 String symbols

Page 412 of 800 |
| Search internet |

A 'string' symbol is a symbol of form (0,I) where I is a cardinal which represents a string S. The cardinal I represents the the string S as follows: Write S as a sequence of bytes using UTF8 encoding:

(b_0,b_1,...,b_n)

Then compute I thus:

I = b_0 * 256^0 + b_1 * 256^1 + ... + b_n * 256^n

As an example, letter 'i' and 'f' are represented by Unicode 105 and 102, respectively, and UTF8 encode them as one byte each. Hence, the cardinal associated to 'if' is 105+256*102=26217, and (0,26217) is the string symbol representing 'if'.

All string symbols are improper since 0 cannot be a reference cardinal.

String symbols are understood to have arity zero.

We shall refer collectively to proper and string symbols as 'Logiweb symbols' or just 'symbols'.

Page 412 of 800 |
| Search logiweb.eu |

Copyright © 2010
Klaus Grue,
GRD-2010-01-05