comp.lang.ada
 help / color / mirror / Atom feed
From: Ray Blaak <blaak@infomatch.com>
Subject: Re: scripting/extension ... [off topic]
Date: 2000/02/16
Date: 2000-02-16T00:00:00+00:00	[thread overview]
Message-ID: <usnytnjxe.fsf@infomatch.com> (raw)
In-Reply-To: 38a9fdb8@eeyore.callnetuk.com

"Nick Roberts" <nickroberts@callnetuk.com> writes:
> I have invented, pretty well in my head, an Application eXtension System:
> AXS (pron. 'axis').
> 
> It's not a language. The idea is that every element that would make up a
> traditional script program (large or small) is replaced, in essence, by a
> dialog box, that garners the necessary information for the element, and
> which simply invokes further dialogs for component elements.

Go for it. I know I dislike such systems since I am a code person, but enough
people might find it useful.

> I think I'm touching on something that Dr Robert Leif has being saying
> recently (about XML having great importance for the future of programming
> languages). There are some well-argued advantages to using XML for this sort
> of purpose (one of the most obvious being the flexibility in formatting and
> presenting printouts, but it goes much deeper than that).

XML is great for portable communication and persistence formats. I would hate
to be forced to use it to express a program, however. Its just too much work,
with too many tools between me and the real code. 

The main advantage I see to using XML for describing a language (given that
any language would already have a standard syntax) is that one can instrument
the code with additional information (formatting hints, proof results,
documentation, associated test cases, change histories, etc.) in a clean way
that is amenable to processing by other tools.

> However, touching on the mention of Scheme in this thread (am I imagining
> that?), it seems to me that languages such as LISP and Prolog could be very
> readily used in place of 'traditional' script languages.

I was mentioning scsh, the Scheme Shell, which is based on Scheme48. Scheme
has nice built-in extensibility mechanisms that lend themselves well to to
these kind of problems.

> It's strange, but I'm beginning to get a more concrete sensation that the
> days of 'programming', as such, are not so far from being over as many of us
> would prefer to think. It's an old idea (dating back to the sixties);
> computers are nearly getting to the point where they are actually powerful
> enough (while remaining affordable) to realise the dream.

Computers are getting more powerful, but we will still program, but just at
higher and higher levels. When (not if) things break, we will need to be able
analyze and adjust software at arbitrarily low levels.

I know I am continually disappointed by new CS grads who know how to use the
latest component tools, but have little understanding of underlying mechanisms.

> Maybe the little chip in The Terminator's* head isn't all that far away
> after all :-o

At the risk of starting a whole new thread, not a chance :-). We (as in
humans) haven't really got a clue how to do real AI at all.

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
blaak@infomatch.com                            The Rhythm has my soul.




  reply	other threads:[~2000-02-16  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               ` 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                     ` 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 [this message]
2000-02-12  0:00                         ` scripting/extension language for Ada (we have an opportunity here) Samuel T. Harris
2000-02-12  0:00                         ` blaak
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-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-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   ` Ehud Lamm
2000-02-01  0:00   ` Simon Wright
2000-02-01  0:00   ` Vladimir Olensky
replies disabled

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