comp.lang.ada
 help / color / mirror / Atom feed
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


  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