← Prev in month ← Prev in thread
Next in thread → Next in month →

Nice definition of "string"

From
Rick Jelliffe <>
To
xml-dev <>
Date
2018-10-03T23:35:58Z
ID
<>
Thread
Nice definition of "string"
From the Julia language web page:

Conceptually, a string is a partial function from indices to characters: for some index values, no character value is returned, and instead an exception is thrown.

Nice!*

Regards
Rick

* Julia uses UTF-8, which would kinda force this approach.
← Prev in month ← Prev in thread
Next in thread → Next in month →