But if those types are not final, you don't know the dynamic subtype of concrete values (and the concrete methods to call) in advance, and you're forced to do the same kinds of optimizations that Javascript does. Seriously, look at current VM tech again. Type feedback and speculative inlining are of legal drinking age in the US by now.

By using all the usual methods, which are identical to those that Java VMs use? It's the identical problem.

And lack of constipation causes global warming. We're screwed either way, it seems.

"The west" started Chinese air pollution? So the smog around Chinese cities is our fault? They must be really desperate for excuses...

Well, it's a Completely Open Computer Kernel.

Of course, how else would you suggest to build a high-performing implementation of JS? These days, just about everyone is using either the Self-93 implementation model or something suspiciously similar. (BTW, technically, *all* Javascript functions are anonymous functions, it's just that some of them happen to be bound to global variable names, very much like in Scheme. Optimizing the calls of anonymous JS functions is no different from optimizing calls to any other JS functions.)

That's simply the difference between a criminal case, and a civil suit. The burden of proof in a criminal case is "beyond a reasonable doubt". In a civil case, it's much lower, only requiring a "preponderance of the evidence". I'm sure this is what you were referring to, but people are frequently unaware that there's a big difference.

Unless they get inlined, type-specialized, yada yada yada...

Very respectfully.

You'd need to have a much larger court system to handle the load. There would likely be thousands of new cases in Missouri right now.

How difficult would it be for someone to force you to stick your finger on the sensor?

Both get executed wherever you run them. Most web sites today don't have the bargaining power to convince users to run client-site java, though, even though many of them run it server-side.

As I mentioned below, you might be interested in this (at least cherry-pick-some-ideas-wise).

Not necessarily. C++ has a fixed semantics for its method dispatch, one that is fairly bizarre in any case.

They were not laughable. There just wasn't enough of economical and environmental incentives back then to push for their mass production. Now there is.