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=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca1.giganews.com!nntp.giganews.com!newspeer1.nac.net!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!news.stack.nl!aioe.org!.POSTED!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Re: Ada->Javascript?
Date: Wed, 21 Jan 2015 04:45:09 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <m9nasl$m43$1@speranza.aioe.org>
References: <87y4ox9j67.fsf@jester.gateway.sonic.net>
NNTP-Posting-Host: ru/enNNyVkms/PPjid3aKA.user.speranza.aioe.org
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
X-Newsreader: Tom's custom newsreader
Xref: number.nntp.giganews.com comp.lang.ada:191965
Date: 2015-01-21T04:45:09+00:00
List-Id: <comp.lang.ada>

> (Javascript) ...  a design that trades off real-time and bounded-memory
> capabilities for a lot more programming convenience.
  So far I've seen two conveniences:  1) it runs everywhere, 2) it easily
interacts with the html page.
  I'm not looking for tasking, generics, exceptions, tagged types,
assertions, or IO.  But the "little things" in Ada I really miss:
Detecting errors with better syntax, required declarations, types to keep
the apples and oranges separate, and named parameter specification in
subprogram calls.  Coding conciseness (and the resulting fewer errors)
with package modularity, letting me write "X := Y" to copy a record,
enumeration types, fixed point, and application-oriented array bounds.
Off the top of my head.
  So a translator that just did some of the above, with a "compile time"
check for errors, would be a great help.