From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Strange crash on custom iterator Date: Wed, 4 Jul 2018 15:27:51 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <70c11a71-3832-4f57-8127-f3f1c48a052f@googlegroups.com> <62e38ee4-f72f-4ed8-bef1-952040fb7f8d@googlegroups.com> <64d8b4a1-a92c-4b90-b95c-e821749de969@googlegroups.com> <887212304.552080112.848502.laguest-archeia.com@nntp.aioe.org> <87muvan83x.fsf@adaheads.home> <1449870001.552246132.581310.laguest-archeia.com@nntp.aioe.org> NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.8.3 Xref: reader02.eternal-september.org comp.lang.ada:53583 Date: 2018-07-04T15:27:51+02:00 List-Id: On 2018-07-04 13:30, J-P. Rosen wrote: > Le 04/07/2018 à 12:01, Dmitry A. Kazakov a écrit : >> But UTF-8 is actually more efficient in most cases than >> Wide_Wide_String. Random string indexing is practically never used. > !!!! I, and many others, often need to search substrings within a > string; actually, I would have a hard time finding an example of string > manipulation without indexing... > >>> We discussed that point, and the agreement was that making a different >>> type would force the user to many conversions that would bring nothing >>> but trouble, and make Ada once again look impractical out of excessive >>> purism. >> >> Exactly my point. Explicit conversion are necessary because Ada's type >> system is unable to model strings in a type-safe way. > So, you want different types, plus a typing system that would allow to > mix the types and make them compatible. Yes, because they are semantically same: arrays of code points. > .. You might as well put > everything in the same type! No, because they must have different representations. > Anyway, the ARG has to deal with Ada as it is, not as Dmitry dreams it > should be... It requires someone more influential, wise and knowledgeable than me to make and then push such a proposal. I would be satisfied if more people saw the roots of problems with strings etc. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de