Re: Access type to member procedure of instance (Object Oriented programming in Ada)

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:4ayu88ck8dkd.1qcy3gnnf7ove.dlg@40tude.net...
> On Tue, 20 Nov 2012 15:51:41 -0600, Randy Brukardt wrote:
>
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:1ilx4ms9xk5h8.pz5jsnqrogye.dlg@40tude.net...
>> ...
>>>No idea. It is a great mystery to me what makes into the language and 
>>>what
>>>does not. Considering this one:
>>
>> Obviously, you can read the AIs and the meeting minutes to find out why
>> things were done the way they are.
>
> These do not explain the decisions made. It is people who support some AIs
> and do not support others.

If that's true, then I'm doing a bad job taking notes. I try to record 
everything interesting that people say on a topic, and it is usually the 
case that people are asked to explain their positions on a topic. Obviously, 
not everyone who votes explains their opinion, but since close votes are 
considered failures, almost all of the reasoning should be explained.

There are some discussions that don't last long enough for reasons to be 
recorded, but those are almost always rote issues that were previously 
discussed (either at a meeting or via e-mail).

>>> 1. Why closures at all?
>>
>> I assume we're talking about Ada's "prefixed views" (closures are 
>> something
>> else to me).
>
> I meant member pointers here, which are a form of a closure. I don't see
> strong case for these. The standard OO model that passes a proper 
> object[s]
> and then calls to an operation of a statically known name, maybe,
> dispatching is the way to do things. Functional programming mess, please.

Unfortunately, I have no more idea what you mean by "member pointers" than 
you did by "closures". Ada doesn't have "members" or "pointers", and while 
the latter is rather pedantic, the former isn't (Ada has components and 
primitive operations and neither can really have pointers to them). So I'll 
let this pass with no comment...

                                        Randy.