comp.lang.ada
 help / color / mirror / Atom feed
From: "Samuel T. Harris" <samuel_t_harris@Raytheon.com>
Subject: Re: scripting/extension language for Ada (was : Re: tagged types extensions)
Date: 2000/02/04
Date: 2000-02-04T00:00:00+00:00	[thread overview]
Message-ID: <389B8544.3AB9401A@Raytheon.com> (raw)
In-Reply-To: 389B5C01.D484CF2@raytheon.com

"Stanley R. Allen" wrote:
> 
> Ray Blaak wrote:
> >
> > I think that Ada as a scripting language is not a good idea.
> >
> > The philosophy of Ada caters to careful design and implementation, strong
> > typing, etc.  Ada is a language useful for making well crafted software.
> >
> > Scripting languages, on the other hand, tend to be used for small, quickly
> > written programs, and good ones tend to have a succinct powerful notation.
> 
> This is bad reasoning, probably based on poor observation.  Scripts
> are becoming a much bigger part of the software development scene, and
> it's a shame that the script languages in use now are based so heavily
> on the hacker mentality.  In our project, scripts have gotten very large
> and are used for many critical capabilities.  Some are thousands of lines
> long.  We maintain these scripts in our CM database just like the Ada, C,
> and FORTRAN code.  They have long life -- over 5 years.  They must be
> documented because they are updated by many hands over a long period of
> time.  Sound familiar?
> 
> The philosophy of Ada, if not all its details, needs to migrate to
> the world of script languages, because scripts ARE software -- the same
> rules and pitfalls apply.
> 
> I question your criterion for a "good" script language -- "succinct powerful
> notation".  Isn't this what we've come to learn as a receipe for
> incomprehensibility?

My feelings exactly.

I remember working on the good old Rational R1000 in the Air Force
and for Link then Hughes now Raytheon. The entire operating system
interface was in Ada with the speed of execution of an interpreter.
I was impressed how the total immersion into Ada for the most
basic user needs rapidly increased new programmer capabilties
in the language. I suppose that is supported by the notion that
one learns French much faster by living in France as compared
to taking college courses.

I have toyed with Ada/Ed as an script interpreter but its
requirements to pre-analyze the code does not make it a viable
candidate for shell-script replacements. Its just not fast
enough.

It occurs to me that an Ada interpreter can dispense with
many of the compile-time checks, relying instead upon a real
compiler to "verify" the script source is correct Ada.
This alone would enable an interpreter to simply expand
generics like macros and not bother with all the checks
concerning the instantiation.

If I recall correctly, the old Ada-Sage (now Sage-ST) did
include a very limited Ada interpreter. This allowed one
to quickly prototype the database interface with simple
controlling code with very rapid turn-around. Just the
sort of thing one needs with hashing out the user
interface on-line with the customer.

-- 
Samuel T. Harris, Principal Engineer
Raytheon, Aerospace Engineering Services
"If you can make it, We can fake it!"




  reply	other threads:[~2000-02-04  0:00 UTC|newest]

Thread overview: 80+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-01-27  0:00 tagged types extensions - language design question Vladimir Olensky
2000-01-27  0:00 ` Fraser
2000-01-27  0:00 ` Matthew Heaney
2000-01-27  0:00   ` Charles Hixson
2000-01-28  0:00   ` Vladimir Olensky
2000-01-28  0:00     ` Matthew Heaney
2000-01-28  0:00       ` Charles Hixson
2000-01-28  0:00         ` Matthew Heaney
2000-02-01  0:00           ` Charles Hixson
2000-02-01  0:00             ` Matthew Heaney
2000-01-29  0:00       ` Vladimir Olensky
2000-01-29  0:00         ` Matthew Heaney
2000-01-31  0:00           ` Vladimir Olensky
2000-01-31  0:00             ` Matthew Heaney
2000-01-31  0:00               ` Vladimir Olensky
2000-01-29  0:00         ` Matthew Heaney
2000-01-27  0:00 ` Laurent Guerby
2000-01-28  0:00   ` Vladimir Olensky
2000-01-28  0:00     ` Andy
2000-01-28  0:00       ` Vladimir Olensky
2000-01-29  0:00         ` Andy
2000-01-31  0:00           ` Vladimir Olensky
2000-01-28  0:00 ` Tucker Taft
2000-01-31  0:00   ` Vladimir Olensky
2000-02-01  0:00   ` Charles Hixson
2000-02-01  0:00     ` Matthew Heaney
2000-02-01  0:00       ` Brian Rogoff
2000-02-03  0:00         ` scripting/extension language for Ada (was : Re: tagged types extensions) root
2000-02-03  0:00           ` Brian Rogoff
2000-02-04  0:00             ` Ray Blaak
2000-02-04  0:00               ` Stanley R. Allen
2000-02-04  0:00                 ` Samuel T. Harris [this message]
2000-02-05  0:00                   ` Lionel Draghi
2000-02-05  0:00                     ` Samuel T. Harris
2000-02-06  0:00                       ` Lionel Draghi
2000-02-06  0:00                       ` Bryce Bardin
2000-02-08  0:00                         ` Samuel T. Harris
2000-02-05  0:00                 ` Ray Blaak
2000-02-05  0:00                 ` Lionel Draghi
2000-02-04  0:00               ` Robert A Duff
2000-02-05  0:00                 ` Ehud Lamm
2000-02-05  0:00                 ` blaak
2000-02-05  0:00                   ` Brian Rogoff
2000-02-09  0:00                   ` Robert A Duff
2000-02-09  0:00                     ` Ted Dennison
2000-02-10  0:00                       ` Samuel T. Harris
2000-02-10  0:00                 ` Pascal Martin
2000-02-10  0:00                   ` Ray Blaak
2000-02-11  0:00                     ` David Starner
2000-02-12  0:00                       ` blaak
2000-02-15  0:00                         ` Brian Rogoff
2000-02-12  0:00                       ` Pascal Martin
2000-02-11  0:00                     ` scripting/extension language for Ada (we have an opportunity here) Tarjei T. Jensen
2000-02-11  0:00                       ` Robert I. Eachus
2000-02-12  0:00                         ` Tarjei Tj�stheim Jensen
2000-02-12  0:00                           ` root
2000-02-12  0:00                           ` Samuel T. Harris
2000-02-14  0:00                             ` Robert A Duff
2000-02-15  0:00                               ` Samuel T. Harris
2000-02-16  0:00                                 ` Robert A Duff
2000-02-16  0:00                                   ` Samuel T. Harris
2000-02-16  0:00                                     ` Robert A Duff
2000-02-17  0:00                                       ` Samuel T. Harris
2000-02-12  0:00                         ` Pascal Martin
2000-02-13  0:00                           ` Robert I. Eachus
2000-02-16  0:00                             ` scripting/extension ... [off topic] Nick Roberts
2000-02-16  0:00                               ` Ray Blaak
2000-02-12  0:00                         ` scripting/extension language for Ada (we have an opportunity here) blaak
2000-02-12  0:00                         ` Samuel T. Harris
2000-02-14  0:00                     ` scripting/extension language for Ada (was : Re: tagged types extensions) Robert A Duff
2000-02-05  0:00             ` scripting/extension language for Ada (was : Re: tagged typesextensions) Lionel Draghi
2000-02-05  0:00           ` scripting/extension language for Ada (was : Re: tagged types extensions) Ehud Lamm
2000-02-06  0:00             ` Lionel Draghi
2000-02-06  0:00               ` scripting/extension language for Ada Terry Westley
2000-02-06  0:00               ` scripting/extension language for Ada (was : Re: tagged types extensions) Ehud Lamm
2000-02-09  0:00               ` Robert A Duff
2000-01-31  0:00 ` tagged types extensions - language design question Mark Lundquist
2000-02-01  0:00   ` Simon Wright
2000-02-01  0:00   ` Vladimir Olensky
2000-02-01  0:00   ` Ehud Lamm
replies disabled

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