comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Top 10 Worst C# Features
Date: Thu, 3 Sep 2015 11:26:57 +0200
Date: 2015-09-03T11:26:57+02:00	[thread overview]
Message-ID: <qhnt03p42wpx.14ag6pufzdynl$.dlg@40tude.net> (raw)
In-Reply-To: ms8ve0$57u$1@dont-email.me

On Thu, 3 Sep 2015 10:14:35 +0200, Georg Bauhaus wrote:

> What finalization can presumably solve I'd love to see addressed
> systematically, using language that attaches life cycle events to
> types.

What a horrific idea...

> Is it possible to produce a scheme that makes attaching "event
> subprograms", say, well defined? Maybe permissions would be based
> on visibility of entities referred to?

No.

1. Regarding types there is no any events. It must be clearly understood.
Either a type exists or it does not. Furthermore a type is immutable
throughout all its life, which is extremely important for substitutability.
An object of a type is *same* in all contexts, because the type is same.
What you propose is not typed.

2. Regarding finalization, another crucial point. Finalization is *not* an
operation. The object ceases to exist after its finalization. Therefore
exist certain composition rules of how finalization is defined upon type
operations such as aggregation, inheritance etc.

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

  reply	other threads:[~2015-09-03  9:26 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-09-02 10:59 Top 10 Worst C# Features Stefan.Lucks
2015-09-02 17:37 ` Álex R. Mosteo
2015-09-02 19:39 ` Randy Brukardt
2015-09-03  8:14   ` Georg Bauhaus
2015-09-03  9:26     ` Dmitry A. Kazakov [this message]
2015-09-03 11:39       ` G.B.
2015-09-03 12:00         ` G.B.
2015-09-03 13:59           ` Dmitry A. Kazakov
2015-09-03 19:12           ` Randy Brukardt
2015-09-04  7:33             ` Georg Bauhaus
2015-09-04 21:34               ` Randy Brukardt
2015-09-05  6:31                 ` Dmitry A. Kazakov
2015-09-05  6:44                 ` Georg Bauhaus
2015-09-05  7:07                   ` Dmitry A. Kazakov
2015-09-05  6:45                 ` Niklas Holsti
2015-09-05  7:21                   ` Dmitry A. Kazakov
2015-09-05 12:07                   ` Peter Chapin
2015-09-06 10:45                   ` Georg Bauhaus
2015-10-13 19:57                   ` Eryndlia Mavourneen
2015-09-05  7:16                 ` Shark8
2015-09-03 13:47         ` Dmitry A. Kazakov
2015-09-03  8:51 ` gautier_niouzes
2015-10-01 14:03 ` Paul Colin de Gloucester
2015-10-14  8:00   ` Maciej Sobczak
2015-10-14 14:26     ` Ben Bacarisse
2015-10-14 16:50       ` Paul Rubin
2015-10-14 18:17         ` Stefan.Lucks
2015-10-14 19:54           ` Ben Bacarisse
2015-10-15 12:24       ` Maciej Sobczak
2015-10-15 13:59         ` Ben Bacarisse
2015-11-06 14:50     ` Nicholas Collin Paul de Gloucester
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox