From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 In-Reply-To: <20090402184115.BEA14865B@okapi.maths.tcd.ie> References: <607fb38c-9095-4045-abbb-28fa454184aa@l38g2000vba.googlegroups.com> <20090402184115.BEA14865B@okapi.maths.tcd.ie> Date: Thu, 2 Apr 2009 19:20:00 -0400 Message-ID: <283f5df10904021620h76fb6152ydeefa43b2ba28f95@mail.gmail.com> From: LiteStar numnums To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: multipart/alternative; boundary=0016361e88c6ccf3d304669aab19 Subject: Re: [9fans] what features would you like in a shell? Topicbox-Message-UUID: d0f91f2a-ead4-11e9-9d60-3106f5b1d025 --0016361e88c6ccf3d304669aab19 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit If you have to go to this level, wouldn't it be better to have a language for this? You probably wouldn't want this interactively, prototyping aside. On Thu, Apr 2, 2009 at 2:41 PM, John Stalker wrote: > > so I'm writing to get your opinions. maybe there are thing that people > > implement themselves but want included in the shell itself? or just > > something they want implemented? > > What I most often miss in shell programming is a proper type system. > Bourne basically only has strings. Rc improves matters slightly with > lists of strings. It's still not enough for me. I make a lot of > mistakes in shell programming and strict type checking would catch > most of them. I'm not sure I would use a strictly typed shell > exclusively, but I would certainly like to have it available. > > -- > John Stalker > School of Mathematics > Trinity College Dublin > tel +353 1 896 1983 > fax +353 1 896 2282 > > -- And in the "Only Prolog programmers will find this funny" department: Q: How many Prolog programmers does it take to change a lightbulb? A: No. -- Ovid "By cosmic rule, as day yields night, so winter summer, war peace, plenty famine. All things change. Air penetrates the lump of myrrh, until the joining bodies die and rise again in smoke called incense." "Men do not know how that which is drawn in different directions harmonises with itself. The harmonious structure of the world depends upon opposite tension like that of the bow and the lyre." "This universe, which is the same for all, has not been made by any god or man, but it always has been, is, and will be an ever-living fire, kindling itself by regular measures and going out by regular measures" -- Heraclitus --0016361e88c6ccf3d304669aab19 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable If you have to go to this level, wouldn't it be better to have a langua= ge for this? You probably wouldn't want this interactively, prototyping= aside.

On Thu, Apr 2, 2009 at 2:41 PM, J= ohn Stalker <s= talker@maths.tcd.ie> wrote:
> so I'm writing to get your opinions. maybe there are thing that p= eople
> implement themselves but want included in the shell itself? or just > something they want implemented?

What I most often miss in shell programming is a proper type system.<= br> Bourne basically only has strings. =A0Rc improves matters slightly with
lists of strings. =A0It's still not enough for me. =A0I make a lot of mistakes in shell programming and strict type checking would catch
most of them. =A0I'm not sure I would use a strictly typed shell
exclusively, but I would certainly like to have it available.

--
John Stalker
School of Mathematics
Trinity College Dublin
tel +353 1 896 1983
fax +353 1 896 2282




--
And in the "= ;Only Prolog programmers will find this funny" department:

Q: H= ow many Prolog programmers does it take to change a lightbulb?

A: No= .
=A0-- Ovid

=A0 =A0"By cosmic rule, as day yields night, so wi= nter summer, war peace, plenty famine. All things change. Air penetrates th= e lump of myrrh, until the joining bodies die and rise again in smoke calle= d incense."

=A0 =A0"Men do not know how that which is drawn in different dire= ctions harmonises with itself. The harmonious structure of the world depend= s upon opposite tension like that of the bow and the lyre."

= =A0 =A0"This universe, which is the same for all, has not been made by= any god or man, but it always has been, is, and will be an ever-living fir= e, kindling itself by regular measures and going out by regular measures&qu= ot;
-- Heraclitus
--0016361e88c6ccf3d304669aab19--