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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!newsfeed.xs4all.nl!newsfeed3a.news.xs4all.nl!xs4all!news.stack.nl!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: a new language, designed for safety !
Date: Thu, 26 Jun 2014 00:28:00 +0200
Organization: Ada @ Home
Message-ID: <op.xh07cyequle2fv@cardamome>
References: <lmj8s6$hhp$1@speranza.aioe.org>
 <1402308235.2520.153.camel@pascal.home.net> <85ioo9yukk.fsf@stephe-leake.org>
 <ln6tlg$1vc$1@dont-email.me>
 <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com>
 <J3rmv.287368$Nf2.155042@fx01.iad> <lndulo$2d1$1@dont-email.me>
 <5b446648-8193-46c4-b99c-015d86983758@googlegroups.com>
 <lyppidne4p.fsf@pushface.org> <lnjeof$h63$1@loke.gir.dk>
 <79bae654-d08b-4da6-8dbc-0da5a101ea86@googlegroups.com>
 <lnle5d$90s$1@dont-email.me>
 <539e89f4$0$6611$9b4e6d93@newsspool4.arcor-online.net>
 <539e8c60$0$6610$9b4e6d93@newsspool4.arcor-online.net>
 <-fmdnVy89LnNQwPORVn_vwA@giganews.com>
NNTP-Posting-Host: 0gipH8doFnFjPXlWycyiNg.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.16 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Xref: number.nntp.dca.giganews.com comp.lang.ada:187236
Date: 2014-06-26T00:28:00+02:00
List-Id: <comp.lang.ada>

Le Mon, 16 Jun 2014 14:08:07 +0200, Peter Chapin <PChapin@vtc.vsc.edu> a=
  =

=C3=A9crit:

> On 2014-06-16 02:19, Georg Bauhaus wrote:
>
>> But look at how Apple did use some more syntax in its version
>> of Go. Similarly, Scala, I think, is only superficially
>> catering to the ever popular omissive style.
>
> Excessive terseness is bad for readability but so is excessive
> verbosity. There is a sweet spot somewhere between the extremes; findi=
ng
> it is tricky [=E2=80=A6]

If readability is about trusting what you see, there is just a fuzzy goo=
d  =

area; that's not tricky, there is just no exact point which is the good =
 =

one, and you have to rely on something above readability, I mean, a form=
al  =

model and a proof a program does not break the model.

There will always be a limit to what you can get from readability as muc=
h  =

as there is a limit to what you can get from simple typing like what get=
  =

in typed languages. That's better than worse, but there is still a limit=
,  =

so useless to try too much hard to get all from it.

Yes, I know that's easier to say than to do (I just like to dream of it)=
,  =

especially when formal methods are still in their infancy and there is n=
o  =

standard in this area (I wish there would a standard formal language and=
  =

standard logical framework=E2=80=A6 but we are very far from this).

-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [1]
[1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers=
ity