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!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Strange crash on custom iterator Date: Thu, 5 Jul 2018 13:06:40 -0500 Organization: JSA Research & Innovation Message-ID: References: <70c11a71-3832-4f57-8127-f3f1c48a052f@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> <87efginb3c.fsf@adaheads.home> Injection-Date: Thu, 5 Jul 2018 18:06:41 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="23211"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader02.eternal-september.org comp.lang.ada:53657 Date: 2018-07-05T13:06:40-05:00 List-Id: "Jacob Sparre Andersen" wrote in message news:87efginb3c.fsf@adaheads.home... > J-P. Rosen writes: ... >> So, you want different types, plus a typing system that would allow to >> mix the types and make them compatible... You might as well put >> everything in the same type! > > It would be nice if the encoding and character set of a string were > "implementation details". I'm not sure how to do it, but I think it is > worth trying to find a solution for Ada. (I think I was introduced to > how the KDE library does it once, but IIRC only encoding was abstracted > away.) It's relatively easy to do (see the first version of AI12-0021-1 for one way), but it is pervasive (if useful) and difficult to make efficient. And you have to throw away essentially everything that currently takes a String -- that's a bridge too far for almost everyone. A bit of additional language support (around conversions) would make it more possible as a library, but the "throw everything away" aspect makes it unlikely to get wide use. My personal opinion about this is that the ARG (as a whole) really does not care about these issues; the "solution" for Ada 2020 is a few more Wide_Wide_ madness packages. My view is that this is really more about checking off a box (we were asked to do *something* and we did *something*, now go away) than about any attempt to fix the issues. (Admittedly, it's too late to do anything else for Ada 2020 -- large new proposals are out-of-bounds now, they have to wait another cycle. But another set of junky patches doesn't really help anything other than the reduce the obvious pressure for a real solution.) Randy.