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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,36a29c2860aff686 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!feeder.news-service.com!kanaga.switch.ch!news-zh.switch.ch!switch.ch!news.belwue.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Properties Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <3b84c8e7-1a51-4a7c-9646-119f1fc51478@s4g2000yql.googlegroups.com> <4pnv7nl4cdui$.1n28i7lqk4mek$.dlg@40tude.net> Date: Wed, 1 Dec 2010 16:59:44 +0100 Message-ID: <1k7367gtebsgm$.18auo6u3nfg34.dlg@40tude.net> NNTP-Posting-Date: 01 Dec 2010 16:59:44 CET NNTP-Posting-Host: b75c7594.newsspool4.arcor-online.net X-Trace: DXC=YO3g>SecVJ?85[]]\]T0814IUK7enW;^6ZC`4\`mfM[68DC3bhDZ92BKJW6 X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:16693 Date: 2010-12-01T16:59:44+01:00 List-Id: On Wed, 1 Dec 2010 15:21:39 +0000 (UTC), Warren wrote: > I haven't looked at > GtkAda in years, but my early version opinion of it was that > it seemed too much like bending a C library into Ada terms. Yes it is. > A library designed in Ada from the ground up, would be better. But we cannot, think about a type- and task-safe notification mechanism. I have no idea how to do it without tagged tasks and protected objects. And I don't want to instantiate a generic each time I need an event handler. And I do want the compiler to check that all events are handled. > Part of the difficulty is that something like a GUI takes so > much effort to develop. To get one developed to a "standard > level" would likely require some level of sponsorship. > Especially if you want to also attempt to make it platform > neutral. The main problem is the interface of such a library. There are multiple parallel hierarchies need to be handled: a hierarchy of widget types, a hierarchy of widget containers, a hierarchy of event handlers (events are filtered, propagated, swallowed, re-generated). At least the first and the third must be statically checked, if we really want it be Ada. Very likely that some composite widgets (the second hierarchy) should also be static. Then there is a fourth hierarchy of widget properties. Some of the properties are inherited from parent types, some are from parent containers. All these hierarchies must play with each other. Ada's type system is not mature for this. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de