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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Top 10 Worst C# Features
Date: Thu, 3 Sep 2015 14:00:52 +0200
Organization: A noiseless patient Spider
Message-ID: <ms9cm8$leh$1@dont-email.me>
References: <alpine.DEB.2.20.1509021228510.5314@debian>
 <ms7j9r$ho$1@loke.gir.dk> <ms8ve0$57u$1@dont-email.me>
 <qhnt03p42wpx.14ag6pufzdynl$.dlg@40tude.net> <ms9bdu$gkl$1@dont-email.me>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 3 Sep 2015 11:59:04 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="21969"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+OSVjUrnj6yLUzivLZMCKr8WETT0QYwLc="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.2.0
In-Reply-To: <ms9bdu$gkl$1@dont-email.me>
Cancel-Lock: sha1:ZU23RAHmlkm9tQVKPdGnFmGR3mA=
Xref: news.eternal-september.org comp.lang.ada:27696
Date: 2015-09-03T14:00:52+02:00
List-Id: <comp.lang.ada>

On 03.09.15 13:39, G.B. wrote:
>> An object of a type is *same* in all contexts, because the type is same.
>
> While an object doesn't change either identity or type,
> it does changes state. This is an event, too.

Seen from a different angle:
What could a type system have to offer to GUI programming?
Some kinds of "event" are as ubiquitous in GUI programming
as they are essential. Can this be made static?

AFAICT, today we have string literals identifying things
that can be called (Gtk), or we have selectors (Objective-C)
for a similar thing, etc.  A mouse click or gesture is thus
another kind of event to which programmers might want to attach
something that reacts. How would static type systems help,
knowing that trying to make them help has allegedly failed
in the past?