From: Pascal Martin <pascal.martin@iname.com.nospam>
Subject: Re: scripting/extension language for Ada (was : Re: tagged types extensions)
Date: 2000/02/12
Date: 2000-02-12T00:00:00+00:00 [thread overview]
Message-ID: <wN4p4.180$m35.8512@typhoon.we.mediaone.net> (raw)
In-Reply-To: 881hft$9ac1@news.cis.okstate.edu
In article <881hft$9ac1@news.cis.okstate.edu>, dvdeug@x8b4e53cd.dhcp.okstate.edu (David Starner) wrote:
> On 10 Feb 2000 13:35:57 -0800, Ray Blaak <blaak@infomatch.com> wrote:
>>Do ML or Haskell shells exist? It would be interesting to see how implicit
>>static strong typing makes things more correct while style allowing for easy
>>writing of command scripts.
>
> Given SML-NJ, what would it take for a ML shell besides some shell
> functions that could be written in ML? I.e. would just a ML library
> turn SML-NJ into what you're looking for?
I looked a bit at ML. It seems the functional languages are rather more
formal than convenient. Interfacing with the external world (or processes)
cannot be defined formally, so these languages tend to be weak in
that respect (because this was not the original intend of the design ?).
As such, there are at least two of my criteria that are probably not met:
process control and GUI.
I am interested by a counterproof !
------------------------------------------------------------------
Pascal F. Martin.
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 ` Fraser
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-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 ` 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 ` root
2000-02-11 0:00 ` scripting/extension language for Ada (was : Re: tagged types extensions) David Starner
2000-02-12 0:00 ` Pascal Martin [this message]
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 ` Ehud Lamm
2000-02-06 0:00 ` scripting/extension language for Ada Terry Westley
2000-02-09 0:00 ` scripting/extension language for Ada (was : Re: tagged types extensions) 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 ` Vladimir Olensky
2000-02-01 0:00 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox