From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Subject: Re: Ichbiah's Letter
Date: Sun, 26 Oct 2014 17:28:15 +0100
Date: 2014-10-26T17:28:15+01:00 [thread overview]
Message-ID: <87mw8ivlr4.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: m2e6r6$go3$2@dont-email.me
> https://duckduckgo.com/l/?kh=-1&uddg=http%3A%2F%2Fweb.elastic.org%2F~fche%2Fmirrors%2Fold-usenet%2Fada-with-null
Reading the letter, I must say that I disagree with Ichbiah on some of
the Ada 9X features which he wanted dropped:
+ Aliased objects:
I have more than one program I don't know how I could have implemented
sensibly without aliased objects.
+ Protected types:
I've heard of the term "passive tasks", but I simply don't know how I
should have written some of my more complex tasking applications
without using protected objects.
- Decimal types:
Okay. - One place where I must admit that I only know of example
sources using this.
+ Unsigned types:
Something I use quite a lot and find it hard to imagine managing
without. Also, how would one interface with C et al. without unsigned
types?
- Access parameters:
I suspect that allowing "in out" parameters for functions is a better
idea than having access parameters. - One more where Ichbiah may well
be right.
- Accessibility (checks):
It seems like this definitely is a part of the language, which has
ended up being too complicated for anyone to understand, but I am not
in a position to say anything sensible about how to avoid them in the
language.
+ Tagged types and dispatching:
Well. Although Ichbiah puts tagged types on his list of complicated
features, he still argues for them further down in the letter. I
suppose that we agree.
+ Barriers:
One of those features I can't see how one can manage without.
+ Self-proclaimed children:
What a wonderful term. And a feature I have used to append
compatiblity interfaces to existing libraries, without having to go in
and modify the existing, stable library.
+ Separate compilation:
It may not be needed for compilation speed, but it is an excellent way
of managing multiple implementations for the same interface.
I am happy to have seen this letter, but overall, I think Ichbiah was
not ambitious enough in his view of what Ada could become.
I agree with Ichbiah's belief that the availability of good GUI
libraries should increase the use of Ada, but somehow it doesn't
happen. - Maybe because the GUI libraries aren't good enough.
Ichbiah (and many others) argue strongly for upward compatibility from
one version of Ada to the next. While I can see the point, I still feel
that we as a community should be prepared to learn, and to remove the
worst mistakes we have introduced into the language. I know that
breaking compatibility will split the development of pre- and
post-change compilers, but are there changes we can make, which might
both reduce the development cost of post-change compilers and increase
the quality of post-change software development? Interfaces and
anonymous access types are the candidates I can remember being
critisised most, but can we remove them and still create equally good
software?
Greetings,
Jacob
--
"Lots of information, strong cast, but a bit weak on the narrative."
-- Pratchet, Stewart & Cohen reviews a phone directory
next prev parent reply other threads:[~2014-10-26 16:28 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-24 18:20 Ichbiah's Letter vincent.diemunsch
2014-10-24 18:47 ` Jeffrey Carter
2014-10-24 19:39 ` David Botton
2014-10-24 20:50 ` David Botton
2014-10-25 8:05 ` vincent.diemunsch
2014-10-25 9:12 ` Mark Carroll
2014-10-25 10:04 ` Dmitry A. Kazakov
2014-10-25 11:25 ` Simon Wright
2014-10-26 5:33 ` Randy Brukardt
2014-10-26 16:28 ` Jacob Sparre Andersen [this message]
2014-10-26 17:46 ` Simon Clubley
2014-10-26 22:36 ` Jacob Sparre Andersen
2014-10-27 3:00 ` Shark8
2014-10-26 17:59 ` invalid
2014-10-27 0:35 ` Dennis Lee Bieber
2014-10-27 3:01 ` Shark8
2014-10-27 22:10 ` Randy Brukardt
2014-10-28 9:45 ` Georg Bauhaus
-- strict thread matches above, loose matches on Subject: below --
1993-04-20 10:10 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!howland.reston.ans.net!torn!
1993-04-16 9:24 pipex!uknet!warwick!zaphod.crihan.fr!univ-lyon1.fr!scsing.switch.ch!sicsu
1993-04-16 7:26 Hu Man
1993-04-15 19:34 David Emery
1993-04-15 18:01 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!howland.reston.ans.net!usene
1993-04-15 17:04 Michael Feldman
1993-04-15 13:08 Wes Groleau X7574
1993-04-15 12:23 Dave Hawk
1993-04-15 3:24 Alex Blakemore
1993-04-14 23:24 usenet.ufl.edu!eng.ufl.edu!spool.mu.edu!sdd.hp.com!cs.utexas.edu!utnut!no
1993-04-14 21:08 news
1993-04-14 21:08 Alex Blakemore
1993-04-14 21:00 Alex Blakemore
1993-04-14 20:17 Michael Feldman
1993-04-14 19:08 Robert I. Eachus
1993-04-14 13:58 enterpoop.mit.edu!spool.mu.edu!howland.reston.ans.net!noc.near.net!inmet!
1993-04-14 13:16 Robert Firth
1993-04-14 0:12 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!usc!news.aero.org!jordan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox