Re: Ada requires too much typing!

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 10 Cze, 08:13, "Randy Brukardt" <ra...@rrsoftware.com> wrote:

> >The overly object-oriented style (OOO (tm)) promotes or even relies on
> >overly dynamic memory management model.
> >This naturally leads to Pointers Everywhere Driven Development (PEDD).
>
> Maybe in C++

This is what Martin asked for.
It is possible to go pretty far without using pointers, but it's
enough to introduce at least one factory design pattern and you're
tied.
(but there is more, see below)

The Ada's ability to return unconstrained types from functions is
really good (it allows to initialize class-wide object based on run-
time decisions) and contributes to better handling of OO. This is a
very important difference and I found it illuminating when comparing
OO models in these two languages.

> (Probably copying a crappy design from some other
> language.) There should be almost no visible access types

Well, not so fast. Access types are necessary for referring to
existing objects.
Think about request handlers in AWS, for example - the idea is that
objects are *registered* somewhere for future use. How would you do
that without access types? At least obtaining the 'Access value is
necessary, even if the explicit use of access variables can be
avoided.

A similar idiom is used in YAMI4, where message handlers are instances
of types that derive from common interface:

http://www.inspirel.com/yami4/book/6-2-1.html

I am not aware of any way to support this functionality without access
types.

--
Maciej Sobczak * http://www.inspirel.com

YAMI4 - Messaging Solution for Distributed Systems
http://www.inspirel.com/yami4