Re: Strange crash on custom iterator

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-07-03 18:42, Lucretia wrote:
> On Tuesday, 3 July 2018 17:36:12 UTC+1, Dmitry A. Kazakov  wrote:
> 
>> Without having types related, we get a geometric explosion of packages:
>> character type x encoding method x fixed/bounded/unbounded. Clearly
>> nobody would ever add UTF-8 into this mess, because this will double the
>> number of packages where strings are used. Static polymorphism
>> (generics/overloading) does not work here.
> 
> Well, they kind of already did that by subtyping UTF_String from String, of which it's not a subtype, it's just they are both arrays of 8-bit entities.

No. Both are arrays of code points and arrays of octets. The ranges of 
code points are different. The correspondence between code points and 
octets are different. Thus the subtyping is broken.

> Am i wrong, should I just implement what I need on top of the standard lib and just use the UTF* types in my code? What about unbounded_utf_strings? Just use the normal unbounded_string? It's not like it's going to be checking for it to be correct utf8 is it, but I can't write an iterator for that from outside the rts though.

There is no way to do it right in Ada for now.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de