From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e219d94b946dfc26 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: Ada.Command_Line and wildcards References: <45dcaed8_6@news.bluewin.ch> <1172132169.423514.271890@s48g2000cws.googlegroups.com> <545bgvF1ttrphU1@mid.individual.net> <1495406.QZvfpqijrQ@linux1.krischik.com> <6dy7mn3hhu.fsf@hod.lan.m-e-leypold.de> <1172328891.5496.62.camel@localhost.localdomain> <1173096982.3712.37.camel@localhost> <8utzwzzv0v.fsf@hod.lan.m-e-leypold.de> <1173185771.11841.69.camel@localhost> <11wk29zr0.fsf@hod.lan.m-e-leypold.de> <1173305192.29628.82.camel@localhost> <1173447204.5618.131.camel@localhost.localdomain> <8g649apcio.fsf@hod.lan.m-e-leypold.de> From: Markus E Leypold Organization: N/A Date: Sat, 10 Mar 2007 19:42:39 +0100 Message-ID: User-Agent: Some cool user agent (SCUG) Cancel-Lock: sha1:k0zYSfWPPsM9nHR4mUYQFCyZoBM= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 88.72.194.126 X-Trace: news.arcor-ip.de 1173551782 88.72.194.126 (10 Mar 2007 19:36:22 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news1.google.com comp.lang.ada:14458 Date: 2007-03-10T19:42:39+01:00 List-Id: Jacob Sparre Andersen writes: > Markus E Leypold wrote: >> I wouldn't want to use Ada as an interactive command language. There >> are, I think, ways to get (1) type safety, (2) proper quoting >> without too much overhead. I, personally, would built a new >> generation shell system on, ahem, OCaml, because of the type >> interference and because functional composition might take the part >> pipes have played in the past. > > I'm not sure I would use OCaml as the basis. Well, I think I will. For me it's more a hacking project (that is, get something better / different for as cheap as possible: After all I don't want to spent years with that), so I'll have to built on an existing language. Some other constraints which are not derived from "cogito ergo sum" but just express my desires are: - functional - strong static type system - possible to create C bindings - dynamic loading of byte code should be possible. > To me it seems too big and complicated for the purpose. A running Ocaml toplevel requires only slightly more meory than bash and it is faster and needs to fork less external tools. > But the shell (interactive command language) should support all the > different kinds of interprocess communication that the underlying > kernel supports. But? > That doesn't quite seem to be the case with sh(1). Yes, it isn't. That is the reason ksh was invented and came too late to become standard shell on all Unices. >>> Suggesting replacement parts for pieces of Unix really means >>> suggesting to change its design. >> >> No. I do think you use the word design in rather too broad a >> sense. Else we could never change ynthing without "changing the >> design". >> >> One must perhaps live with the notion that no OS is just amonolithic >> complex of design choices. It is not simply a "design change" if I >> (user) change to another shell (that is designed to be user >> replacable, BTW). > Since sh(1) is a requirement in the POSIX standard, it is a change in > the design to substitute sh(1) with something else (although it is a > change the remaining system is designed to allow). You and George are using the word "design" rather to gratiously. More about that another time. > Adding yet another user selectable shell to the system is on the > other hand not something I consider a change in the design. Regards -- Markus