danielearwicker

vor 10 Monatendiscuss

Java approach: create the JVM to support one language, so it has rich high-level concepts that are unfortunately skewed toward certain assumptions about language design, and it can be reused only for other languages that are similar enough.

WASM approach: start very low-level so C is definitely supported. Thus everything is supported, although every language has to roll its own high-level constructs. But over time more patterns can be standardised so languages can be interoperable within a polyglot WASM app.

danielearwicker

vor 4 Jahrendiscuss

In TS this is controllable. If noEmitOnError is true, then any error (including type errors) will stop it emitting JS output.

danielearwicker

vor 6 Jahrendiscuss

I think of probability as a summary of the structure/symmetries in a model. A model of a jar of red and blue beads is characterised by the ratio of red to blue, and that beads are only distinguished by colour.

danielearwicker

vor 6 Jahrendiscuss

It ought to be possible for the page to disable JavaScript with a meta tag:

  <meta name="noscript">

The browser could put an extra icon next to the https padlock so the user would know they were viewing a document rather than an application.

danielearwicker

vor 6 Jahrendiscuss

This must be the most unnecessarily awkward way of doing it (have to do it from the console after navigating to the site, so the request is allowed).

    fetch("https://heydonworks.com").then(x => x.text()).then(x => { 
      var f = document.createElement("iframe"); 
      document.body.append(f); 
      f.style.left = "0px";
      f.style.top = "0px";
      f.style.width = "100%";
      f.style.height = "100%";
      f.style.position = "absolute"; 
      f.style.border = 0;
      x = x.replace(/\<\/?noscript\>/gi, ""); 
      x = x.replace(/\<script\>.*\<\/script\>/gi, ""); 
      f.contentDocument.write(x); 
    });

danielearwicker

vor 7 Jahrendiscuss

That future possibiilty reminds me of https://en.wikipedia.org/wiki/Singularity_(operating_system) - where process/address-space isolation was replaced with fine-grained static verification of high-level code (presumably not the first experiment in this area).

comments