> (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.