From: "Samuel T. Harris" <samuel_t_harris@Raytheon.com>
Subject: Re: scripting/extension language for Ada (we have an opportunity here)
Date: 2000/02/12
Date: 2000-02-12T00:00:00+00:00 [thread overview]
Message-ID: <38A5E4FC.9C20A0E4@Raytheon.com> (raw)
In-Reply-To: 38A53714.3EBC10C3@online.no
"Tarjei Tjøstheim Jensen" wrote:
>
> Robert I. Eachus wrote:
>
> >
> > Concept: Build a special version of gnat for scripting purposes.
> > The syntax will be pure Ada, while there will be some modifications to
> > the semantics to account for the special purpose. In particular, more
> > implicit conversions will be allowed, and dynamic bindings to
> > environment variables and executable programs.
> >
>
> You have started in the wrong direction. Such an interpreter should have an Ada-ish
> look and feel, but it should not be Ada. E.g. I strongly believe that it should use
> "[" and "]" for arrays. There should be reasonable defaults.
>
> The attribute system as found in ada should be simplified. It should be possible to
> write a := a'succ; or something similar and short.
>
> s1 : string; -- unbounded string
> s2 : string[5]; -- string of maximum length 5, but dynamically sizeable
I have no problem with using [] instead of () for array indexing.
The [] can be easily converted back to () for use in a conventional
compiler.
Along this line, {} can be used for aggregates.
Parsing Ada is notoriously difficult because of the overloading
of () for indexes, subprograms, and aggregates.
<snip>
>
> > 2) Procedure, function, (and entry?) calls which do not match a
> > subprogram or entry declared in the script will be searched for using a
> > search path.
> >
> > (Questions: Use the externally defined path, or a local path then
> > the external path? Is there a way to call insure that a call is
> > external?)
>
> It should be possible to specify how to treat certain names and how to search. E.g.
> it should be possible to specify that if a command has a given name, then a given
> command should be executed as in alias in a bash/korn shell. It should be possible
> to specify that if a program cannot be found in a search path, then one should
> search for e.g. program.ksh, program.sh, program.pl, program.py, etc. in the path.
See my previous post on package PATH. External command locations
can be specified with pragma interface_name. External commands
already know how to execute themselves whether they are bash/korn shell,
sed scripts, whatever.
<snip>
--
Samuel T. Harris, Principal Engineer
Raytheon, Aerospace Engineering Services
"If you can make it, We can fake it!"
next prev parent reply other threads:[~2000-02-12 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 ` 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-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-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-27 0:00 ` Fraser
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
2000-02-05 0:00 ` Lionel Draghi
2000-02-05 0:00 ` Samuel T. Harris
2000-02-06 0:00 ` Bryce Bardin
2000-02-08 0:00 ` Samuel T. Harris
2000-02-06 0:00 ` Lionel Draghi
2000-02-05 0:00 ` Lionel Draghi
2000-02-05 0:00 ` Ray Blaak
2000-02-04 0:00 ` Robert A Duff
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-05 0:00 ` Ehud Lamm
2000-02-10 0:00 ` Pascal Martin
2000-02-10 0:00 ` Ray Blaak
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 ` Samuel T. Harris
2000-02-12 0:00 ` blaak
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) Tarjei Tj�stheim Jensen
2000-02-12 0:00 ` root
2000-02-12 0:00 ` Samuel T. Harris [this message]
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-11 0:00 ` scripting/extension language for Ada (was : Re: tagged types extensions) David Starner
2000-02-12 0:00 ` Pascal Martin
2000-02-12 0:00 ` blaak
2000-02-15 0:00 ` Brian Rogoff
2000-02-14 0:00 ` 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 ` Vladimir Olensky
2000-02-01 0:00 ` Simon Wright
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