strings draft
Tom Lord
(22 Jan 2004 04:58 UTC)
|
Re: strings draft
Shiro Kawai
(22 Jan 2004 09:46 UTC)
|
Re: strings draft
Tom Lord
(22 Jan 2004 17:32 UTC)
|
Re: strings draft Shiro Kawai (23 Jan 2004 05:03 UTC)
|
Re: strings draft
Tom Lord
(24 Jan 2004 00:31 UTC)
|
Re: strings draft
Matthew Dempsky
(24 Jan 2004 03:00 UTC)
|
Re: strings draft
Shiro Kawai
(24 Jan 2004 03:27 UTC)
|
Re: strings draft
Tom Lord
(24 Jan 2004 04:18 UTC)
|
Re: strings draft
Shiro Kawai
(24 Jan 2004 04:49 UTC)
|
Re: strings draft
Tom Lord
(24 Jan 2004 18:47 UTC)
|
Re: strings draft
Shiro Kawai
(24 Jan 2004 22:16 UTC)
|
Octet vs Char (Re: strings draft)
Shiro Kawai
(26 Jan 2004 09:58 UTC)
|
Re: Octet vs Char (Re: strings draft)
bear
(26 Jan 2004 19:04 UTC)
|
Re: Octet vs Char (Re: strings draft)
Matthew Dempsky
(26 Jan 2004 20:12 UTC)
|
Re: Octet vs Char (Re: strings draft)
Matthew Dempsky
(26 Jan 2004 20:40 UTC)
|
Re: Octet vs Char
Shiro Kawai
(26 Jan 2004 23:39 UTC)
|
Strings, one last detail.
bear
(30 Jan 2004 21:12 UTC)
|
Re: Strings, one last detail.
Shiro Kawai
(30 Jan 2004 21:43 UTC)
|
Re: Strings, one last detail.
Tom Lord
(31 Jan 2004 00:13 UTC)
|
Re: Strings, one last detail.
bear
(31 Jan 2004 20:26 UTC)
|
Re: Strings, one last detail.
Tom Lord
(31 Jan 2004 20:42 UTC)
|
Re: Strings, one last detail.
bear
(01 Feb 2004 02:29 UTC)
|
Re: Strings, one last detail.
Tom Lord
(01 Feb 2004 02:44 UTC)
|
Re: Strings, one last detail.
bear
(01 Feb 2004 07:53 UTC)
|
Re: Octet vs Char (Re: strings draft)
Ken Dickey
(27 Jan 2004 04:33 UTC)
|
Re: Octet vs Char
Shiro Kawai
(27 Jan 2004 05:12 UTC)
|
Re: Octet vs Char
Tom Lord
(27 Jan 2004 05:23 UTC)
|
Re: Octet vs Char
bear
(27 Jan 2004 08:35 UTC)
|
Re: Octet vs Char (Re: strings draft)
bear
(27 Jan 2004 08:33 UTC)
|
Re: Octet vs Char (Re: strings draft)
Ken Dickey
(27 Jan 2004 15:43 UTC)
|
Re: Octet vs Char (Re: strings draft)
bear
(27 Jan 2004 19:06 UTC)
|
Re: strings draft
bear
(22 Jan 2004 19:05 UTC)
|
Re: strings draft
Tom Lord
(23 Jan 2004 01:53 UTC)
|
READ-OCTET (Re: strings draft)
Shiro Kawai
(23 Jan 2004 06:01 UTC)
|
Re: strings draft
bear
(23 Jan 2004 07:04 UTC)
|
Re: strings draft
bear
(23 Jan 2004 07:20 UTC)
|
Re: strings draft
Tom Lord
(24 Jan 2004 00:02 UTC)
|
Re: strings draft
Alex Shinn
(26 Jan 2004 01:59 UTC)
|
Re: strings draft
Tom Lord
(26 Jan 2004 02:22 UTC)
|
Re: strings draft
bear
(26 Jan 2004 02:35 UTC)
|
Re: strings draft
Tom Lord
(26 Jan 2004 02:48 UTC)
|
Re: strings draft
Alex Shinn
(26 Jan 2004 03:00 UTC)
|
Re: strings draft
Tom Lord
(26 Jan 2004 03:14 UTC)
|
Re: strings draft
Shiro Kawai
(26 Jan 2004 04:57 UTC)
|
Re: strings draft
Alex Shinn
(26 Jan 2004 04:58 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 18:48 UTC)
|
Re: strings draft
bear
(24 Jan 2004 02:21 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 02:10 UTC)
|
Re: strings draft
Tom Lord
(23 Jan 2004 02:29 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 02:44 UTC)
|
Re: strings draft
Tom Lord
(23 Jan 2004 02:53 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 03:04 UTC)
|
Re: strings draft
Tom Lord
(23 Jan 2004 03:16 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 03:42 UTC)
|
Re: strings draft
Alex Shinn
(23 Jan 2004 02:35 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 02:42 UTC)
|
Re: strings draft
Tom Lord
(23 Jan 2004 02:49 UTC)
|
Re: strings draft
Alex Shinn
(23 Jan 2004 02:58 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 03:13 UTC)
|
Re: strings draft
Alex Shinn
(23 Jan 2004 03:19 UTC)
|
Re: strings draft
Bradd W. Szonye
(23 Jan 2004 19:31 UTC)
|
Re: strings draft
Alex Shinn
(26 Jan 2004 02:22 UTC)
|
Re: strings draft
Bradd W. Szonye
(06 Feb 2004 23:30 UTC)
|
Re: strings draft
Bradd W. Szonye
(06 Feb 2004 23:33 UTC)
|
Re: strings draft
Alex Shinn
(09 Feb 2004 01:45 UTC)
|
specifying source encoding (Re: strings draft)
Shiro Kawai
(09 Feb 2004 02:51 UTC)
|
Re: strings draft
Bradd W. Szonye
(09 Feb 2004 03:39 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 03:12 UTC)
|
Re: strings draft
Alex Shinn
(23 Jan 2004 03:28 UTC)
|
Re: strings draft
tb@xxxxxx
(23 Jan 2004 03:44 UTC)
|
Parsing Scheme [was Re: strings draft]
Ken Dickey
(23 Jan 2004 17:02 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
bear
(23 Jan 2004 17:56 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
tb@xxxxxx
(23 Jan 2004 18:50 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Per Bothner
(23 Jan 2004 18:56 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Tom Lord
(23 Jan 2004 20:26 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Per Bothner
(23 Jan 2004 20:57 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Tom Lord
(23 Jan 2004 21:44 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Ken Dickey
(23 Jan 2004 21:47 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Tom Lord
(23 Jan 2004 23:22 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Ken Dickey
(25 Jan 2004 01:03 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Tom Lord
(25 Jan 2004 03:01 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Tom Lord
(23 Jan 2004 20:07 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
tb@xxxxxx
(23 Jan 2004 21:22 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Tom Lord
(23 Jan 2004 22:38 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
tb@xxxxxx
(24 Jan 2004 06:48 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Tom Lord
(24 Jan 2004 18:41 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
tb@xxxxxx
(24 Jan 2004 19:34 UTC)
|
Re: Parsing Scheme [was Re: strings draft]
Tom Lord
(24 Jan 2004 21:48 UTC)
|
Re: strings draft
Matthew Dempsky
(25 Jan 2004 06:59 UTC)
|
Re: strings draft
Tom Lord
(25 Jan 2004 07:16 UTC)
|
Re: strings draft
Matthew Dempsky
(26 Jan 2004 23:52 UTC)
|
Re: strings draft
Tom Lord
(27 Jan 2004 00:30 UTC)
|
Thanks for the detailed reply. First of all, I'm not intended to discuss effectiveness of Unicode in multilingual environment and/or Han Unification at all. My point is to allow alternatives. My reply goes as follows: * About O(1) string access * About character-set independence [About O(1) string access] >From: Tom Lord <xxxxxx@emf.net> Subject: Re: strings draft Date: Thu, 22 Jan 2004 09:45:53 -0800 (PST) > > I feel that accessing strings by index is a kind of premature > > optimization, which came from the history when strings were > > simply an array of bytes. > > I used to think so too -- but that was before I started writing C code > that allows UTF-8 and UTF-16 (and soon UTF-32) to be mixed and matched > freely in a single application. > > I think that the approach I'm taking with Pika -- internally using an > N-bit encoding when all characters in a string fit in N-bits -- does a > pretty good job of restoring the "a string is an array" simplicity in > an international context. I see your approach (having multiple encodings) works, but don't see the reason to "strongly recommend" it. > > Another issue: is there a rationale about "strong encouragement" > > of O(1) access of string-ref and string-set!? There are > > alrogithms that truly need random access, but in many cases, > > index is used just to mark certain location of the string; > > e.g. if you want (string-ref str 3), it's rare that you know > > '3' is significant before you know about str---it's more likely > > that somebody (string search function, regexp matcher, or suffix > > database...) told you that the 3rd character of a particular > > string in str is significant. In such cases, the reason you > > use index is not because the algorithm requires it, but just > > one of the possible means to have a reference within a string. > > I don't follow your arguments about the distinction between an integer > constant string index and one received as a parameter. In both > cases, the question is "what is the computational complexity of > STRING-REF, STRING-SET!, and SUBSTRING ?" No. String search, regexp match, or precalculated prefix/suffix database, all can return some sort of reference that directly points into the string, so that the subsequent use of such reference wouldn't need to count characters. (The implementation that shares substrings and uses write-on-copy for string mutation, those basic operations even can efficiently return substring directly.) And to implement search, regexp, or prefix/suffix arrays, the access of string is mostly sequential, or requires "random hopping" in a small amount. Sequential access can be efficiently implemented, using string ports, for example, than using integer index. It's OK to have STRING-REF as well---after all, we have LIST-REF and nobody complains its O(N) complexity. [About character-set independence] What I felt ambiguous is the degree of "character-set independence" you're aiming at. If we'd like to have a character-set independent language spec, we need to be much more careful to separate Unicode-specific issues and character-set independent issues. > I intended there to be three topics, each with two subtopics -- > similar but not quite the same as as your summary: > > 1. Scheme language changes needed to support Unicode > 1a. requirements > 1b. optional feature requirements > > 2. String handling in a portable FFI > 2a. requirements > 2b. optional feature requirements > > 3. Examination of a particular implementation > 3a. native FFI spec > 3b. implementation strategy > > I think that, at this stage, those three topics do belong together. > On this list, we're most directly concerned with (2) ("portable FFI") > but I don't think we can design such an FFI usefully without > addressing (1) ("Scheme language"). We need to define some kind of minimum requirements on the language (1). For example, your point here is a reasonable. > Another example: portable FFI-using code can > not reliably enter strings into Scheme without stronger character set > guarantees than are found in R5RS. (Although I wonder the following: > For example, FFI-using code is > seriously impoverished if it can not reliably exchange integer string > indexes with Scheme If an opaque "string reference" liberates the Scheme code from integer indexing strings, there's not much reason that we want to pass integer index to FFI.) > There is the question: Should future Revised Standards explicitly > mention Unicode in the core of the specification, as I've recommended, > or should such materials be separated from the core to an annex where > they might stand in parrallel with analogous sections for, for > example, EUCJP? I suspect that such a question is mostly political, > not technical. I'll admit my bias that I think the way forward for > computing generally is to converge on Unicode -- I'd like it in the > core -- but it's a minor point and a topic for another context, I > think. I have no doubt that future information exchange will be done in Unicode. Still, there are niche areas that people wants to handle weird character set. For example: * Handling literature and historical document on computers requires more characters than Unicode, such as the one "Mojikyo" http://www.mojikyo.org/ provides. * Japanese local character set JISX-0213 added thousands of characters, of which a few hundreds of characters were undefined in Unicode at that time. It took a couple of years until Unicode included them (except about a dozen characters which are not in Unicode yet). * Legacy documents. You mentioned that Scheme shouldn't bend over backwards to be EBCDIC-friendly and it's true. The issue here is that converting legacy encoding to Unicode is not a loss-less conversion. If you convert EUCJP to Unicode in one program, and then covert back by another program, it is not guaranteed that you get the same document as in original. So, in some areas, one need to use the legacy encodings. It would be nice that Scheme language spec allows a local implementation that uses different CCS/CES. > The proposed changes to the Scheme standard do not require > implementations to use Unicode or iso8859-*. They do, however, > require that portable Scheme programs manipulating multilingual text > take some of their semantics (in particular, the meaning of string > indexes and hex string constants) from Unicode. Absent such a > semantic, integer constant string indexes and string index > adjustments (e.g., +1) will not have a portable meaning (for > example). Using Unicode codepoints as the portable means of hex notation (#\U+XXXX) is ok. The integer indexing is an different issue. EUCJP #xA5F7 character is mapped to two subsequent unicode codepoints, U+30AB and U+309A. On the other hand, U+30AB itself is mapped to EUCJP #xA5AB, and U+309A doesn't have corresponding character in EUCJP. If STRING-REF has to be unicode codepoint index, I don't see how it should work. > My proposal does _not_ > require conforming implementations to use Unicode and does not > preclude implementations that include characters not found in > Unicode (Pika's support of buckybits is an example). Requirements for unicode codepoint index and 256 character mapping (as I explain later) implies the implementation to use Unicode-compatible charset. > As I understand it, there is resistence in some places to Unicode > for two reasons: (1) legacy systems using other character sets (not > much anyone can do about that -- I don't think Scheme should bend > over backwards to be EBCDIC-friendly, either); (2) still surviving > controversy about Han Unification. As I mentioned, there are niche area that wants to use other encodings, and there are some areas that want to deal with (1). I don't see much problem about (2)---no other encodings completely solve the problem, so we have to live with it anyway. However, there are encodings that solve the problem in different way (e.g. iso2022), which is why I want to stick to codeset-independent solutions. > > * If the implementation uses EUCJP as its internal CES, it > > will face difficulty for the recommendation of INTEGER->CHAR > > to support [0,255], since EUCJP does not have full mappings > > in this range, although it has much more characters than 256. > > I think it's possible that (integer->char #xa1) on such > > implementations returns a "pseudo character", which doesn't > > corresponds to any character in EUCJP CES but is guaranteed > > that to produce #xa1 when passed to char->integer. But the > > effects would be undefined if such a character is used within > > a string. (An implementation can also choose different > > integers than the codepoint value to fulfill this "256 character" > > requirements, but it wouldn't be intuitive). > > You say that "the effects would be undefined if such a character > is used within a string". I don't see why that would have to be the > case -- I only see how a particular string implementation could have > that bug. > > There are 128 unassigned octet sequences available in EUCJP that won't > be mistaken for any real character, right? Purely internally, those > sequences could be used in the string representations to represent the > effect of something like (STRING-SET! s (INTEGER->CHAR 161)). Strictly speaking, yes. I can map integer #x80 to #xff into a undefined region of EUCJP. That's what I said "it wouldn't be intuitive". Here's EUCJP packed encoding: Character EUCJP packed encoding. ASCII [#xNN] NN in 0..7f JISX0201 [#x8e #xNN] NN in 0..ff JISX0213 1st plane [#xNN #xMM] NN in a0..ff, MM in a0..ff JISX0213 2nd plane [#x8f #xNN #xMM] NN in a0..ff, MM in a0..ff So, I can use something like [#x8f #x20 #xNN] to represent (integer->char #xNN) where NN is 80 to ff. However, you said. There are many circumstances in which conversions between octets and characters are desirable And I don't see such circumstances. What exactly does this requirement to solve? Even if I use the pseudo character representation like above, there's no way to read and write such a character from/to a port reliably. > The problem you mention isn't unique to EUCJP -- it occurs for a > naively implemented UTF-8 or UTF-16-based Scheme as well. The > solutions are analogous. Not really. Character encoding scheme (CES) of eastern Asia languages typically includes more than one coded character set (CCS). So, the "codepoint" in particular CCS isn't the same as the encoded value in CES---e.g. JISX0201 defines code in #x00 to #x7f region which conflicts with ASCII. In programs you have to stick to CES code value. In Unicode world, one CCS (Unicode) has many CES (utf-8, utf-16, ...) but you can always map one codepoint to the other. So you can treat them consistently in CCS codepoint. > > * "What _is_ a Character" section doesn't refer to an > > implementation where a CHAR? value corresponts to a > > codepoint of non-Unocde, non-iso8859-* CCS/CES. > > Most likely, depending on the details of the implementation you have > in mind, I would put it in the "roughly corresponds to a Unicode > codepoint" category. Maybe EUCJP can fall to the category where CHAR? value corresponds to a "combining sequence"---because of EUCJP #xA5F7 <-> [U+30AB U+309A] mapping. But you can't derive "integer range [0..256] can map to characters" from that. > > * In the portable FFI section, some APIs state the encoding > > must be one of utf-8, iso8859-* or ascii, and I don't see > > the reason of such restrictions. > > How would you remove that restriction in a way that supports writing > portable FFI-using code? What I'm picking there is the word "must". scm_extract_string8 can put answer in eucjp packed format into t_uchar* array if the implementation supports that, so I don't see why this restriction is needed. indicated encoding (which must be one of `uni_utf8', `uni_iso8859_*', or `uni_ascii') Of course using such encoding wouldn't be portable. But so as iso8859_1 implementation is asked to convert the string into iso8859_2. > > 3. Determining the least common set of assumptions about characters > > and strings the language/FFI spec should define. > > > Mostly in "R6RS recommendation" section. Some of them seem > > try to be codeset-independent, while some of them seem to > > assume Unicode/iso8859-* codeset implicitly. So I wonder > > which is the intention of the document. > > The intention is to make optional Unicode support well-defined and > useful as a basis for writing portable Scheme code --- while saying no > more in the core specification of Scheme than is necessary to > accomplish that. > > I believe it will be practical for implementations internally using, > for example, EUCJP to conform to the requirements -- and even to > provide a useful level of support for the optional Unicode facilities. Gauche can be compiled using EUCJP, and doesn't have a problem communicating with Unicode world so far. But I don't see [0..256] mapping, "Unicode codepoint index", and O(1) accesses are essential for such an implementation to communicate with Unicode world. --shiro