comp.lang.ada
 help / color / mirror / Atom feed
From: "John B. Matthews" <nospam@nospam.invalid>
Subject: Re: Ada in teaching (was: Ariane 5 Failure from 1996)
Date: Tue, 14 Jul 2009 18:36:57 -0400
Date: 2009-07-14T18:36:57-04:00	[thread overview]
Message-ID: <nospam-D965E6.18365714072009@news.aioe.org> (raw)
In-Reply-To: 4a5ce82c$0$32682$9b4e6d93@newsspool2.arcor-online.net

In article <4a5ce82c$0$32682$9b4e6d93@newsspool2.arcor-online.net>,
 Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de> wrote:

> John B. Matthews wrote:
> 
> > I always though going from Pascal to Ada would have been easier.
> 
> Which subset of Ada?

Why, the Pascal subset, of course! :-)

> Without exceptionally good explanations, I can't imagine full 
> Ada, with access discriminants, say, as a possible teaching 
> vehicle at all.

Why use a subset at all? Surely the novice can write useful 
programs that use a library, even if that library depends on access 
discriminants for it's implementation. Using access discriminants 
for one's own self-referential data structures and iterators can be 
deferred to a second level course.

> Java is probably thought to be closer to business;
> at least I've heard teachers say so. It is,
> in another sense, at least: sloppy base type systems
> and hand made concurrency are a good basis for
> continued support business.  While Java's int, long, etc. only
> require a little hubris to handle them properly, there are the
> ubiquituous features of the same spirit, equally successful:
> int, long, etc. in C and their integer overflows and buffer
> overflows.
> These will provide for vulnerability protection opportunities
> and help establish international software companies :-)
> Java has learned from this base type system, so it
> moved the imperfections to object spaghetti. No?

In version 1.5, Java added a generic form of compile-time type 
checking [1] and task oriented support for concurrent programming 
[2]. These are a significant improvement, but they are optional; 
with Ada, the features are "baked-in," so to speak. Java has always 
supported interface inheritance from a single Object; IIUC, the 
present Ada standard offers a similar approach [3].

> You should be teaching what everyone wants.
> You should be teaching what everyone teaches.
> You should be rushing towards a new paradigm
> in teaching as soon as it is there.
> Be part of the crowd. It's only tax payers' money.

I'm sorry, I cannot support your candidacy for public office. :-)

[1]<http://java.sun.com/j2se/1.5.0/docs/guide/language/>
[2]<http://java.sun.com/j2se/1.5.0/docs/api/java/util/concurrent/
package-summary.html>
[3]<http://www.adaic.com/standards/05rat/html/Rat-2-4.html>

-- 
John B. Matthews
trashgod at gmail dot com
<http://home.roadrunner.com/~jbmatthews/>



  parent reply	other threads:[~2009-07-14 22:36 UTC|newest]

Thread overview: 37+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-07-10 14:53 Ariane 5 Failure from 1996 John McCabe
2009-07-10 15:04 ` Martin
2009-07-10 15:09   ` John McCabe
2009-07-10 16:27     ` Hibou57 (Yannick Duchêne)
2009-07-10 18:17     ` John B. Matthews
2009-07-12 14:08       ` Marco
2009-07-12 14:34         ` Dmitry A. Kazakov
2009-07-13 10:03         ` John McCabe
2009-07-14  0:53         ` John B. Matthews
2009-07-14 13:49           ` Nicholas Paul Collin Gloucester
2009-07-14 15:16             ` John B. Matthews
2009-07-14 17:29               ` Nicholas Paul Collin Gloucester
2009-07-14 20:18               ` Ada in teaching (was: Ariane 5 Failure from 1996) Georg Bauhaus
2009-07-14 21:10                 ` Adam Beneschan
2009-07-14 22:36                 ` John B. Matthews [this message]
2009-07-14 23:42                   ` Ada in teaching Georg Bauhaus
2009-07-15  1:03                     ` (see below)
2009-07-15 15:08                     ` John B. Matthews
2009-07-15 15:36                       ` John McCabe
2009-07-15 18:28                         ` John B. Matthews
2010-01-08 13:19             ` Ariane 5 Failure from 1996 Nicholas Paul Collin Gloucester
2010-01-08 17:34               ` Hibou57 (Yannick Duchêne)
2009-07-10 16:01   ` Bjarne Bäckström
2009-07-14 20:50   ` sjw
2009-07-10 15:26 ` Albrecht Käfer
2009-07-10 15:38 ` Adam Beneschan
2009-07-10 15:45 ` jonathan
2009-07-10 18:29   ` John McCabe
2009-07-10 18:44     ` John McCabe
2009-07-10 20:10       ` jonathan
2009-07-11 16:54         ` John McCabe
2009-07-14 14:33           ` Nicholas Paul Collin Gloucester
2009-07-14 14:39             ` John McCabe
2009-07-10 19:46     ` Niklas Holsti
2009-07-11 14:21       ` Albrecht Käfer
2009-07-11 16:55         ` John McCabe
2009-07-10 21:51 ` jimmaureenrogers
replies disabled

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