Re: language design tradeoffs

bromage@mullauna.cs.mu.OZ.AU (Andrew Bromage)
Thu, 24 Sep 1992 03:29:45 GMT

          From comp.compilers

Related articles
[29 earlier articles]
Re: language design tradeoffs raveling@Unify.com (1992-09-21)
Re: language design tradeoffs alvin@eyepoint.com (1992-09-22)
Re: language design tradeoffs kcoppes@aardvark.den.mmc.com (1992-09-22)
Re: language design tradeoffs dmason@plg.uwaterloo.ca (1992-09-22)
Re: language design tradeoffs tmb@arolla.idiap.ch (1992-09-23)
Re: language design tradeoffs jlg@cochiti.lanl.gov (1992-09-23)
Re: language design tradeoffs bromage@mullauna.cs.mu.OZ.AU (1992-09-24)
Re: language design tradeoffs alvin@eyepoint.com (1992-09-24)
Re: language design tradeoffs rob@hoster.eng.ohio-state.edu (1992-09-24)
Re: language design tradeoffs chased@rbbb.Eng.Sun.COM (1992-09-25)
Re: language design tradeoffs os360051@wvnvms.wvnet.edu (1992-09-26)
Re: language design tradeoffs plyon@emx.cc.utexas.edu (1992-09-26)
| List of all articles for this month |
Newsgroups: comp.compilers,comp.human-factors
From: bromage@mullauna.cs.mu.OZ.AU (Andrew Bromage)
Organization: Computer Science, University of Melbourne, Australia
Date: Thu, 24 Sep 1992 03:29:45 GMT
References: 92-09-048 92-09-137
Keywords: design

alvin@eyepoint.com (Alvin Starr) writes:


>Is a little verbosity a bad thing? I work with a language(Turing) that will
>allow short forms so that
> if a < b then
> x := y
> end if
> can become
> [a<b:x:=y]
> the second is much harder to maintain when an 80,000 line program is
> completly written this way.


Is it really? I disagree completely. If you are thoroughly familiar with a
language, then short forms present no problem. Using >> for loop
termination (or whatever it is - I don't have my Turing report handy)
becomes second nature if you use the language a lot, and so it doesn't
become a problem. Another example is the ? : construction from C.


And yes, I do think that verbosity is a problem. I'm not running so close
to my quota that I am worried about the space taken up by the extra words,
but who would honestly rather write begin...end a few hundred times than
{...} ?


>Turing has no statment seperators/terminators.


I stand corrected. I don't actually use the language much - it seems too
much of a computer science language rather than one for serious
implementation.


While I have the floor, I'd like to ask if anyone out there can explain
why Pascal allows gotos but disallows early termination of loops or inline
returns, which are functionally equivelant? It seems to me that the whole
language wasn't thought out very well.


Andrew Bromage
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.