Maybe nasty to modern eaters, but wheat porridge was a staple in Europe, N. Africa, and the Middle East for thousands of years, especially outside of towns where gristmills were far away and often exorbitantly expensive
If you want a type system Typescript works great, and it's very easy to set up. You even get debugging to the original uncompiled source with sourcemaps.
If you want a strongly-typed static language, compile to a wasm target... That's what it is for.
Stop trying to change JavaScript into a language it is not.
JMHO
Since the proposal doesn't care about the semantics of the type annotations, it doesn't even necessitate typescript. It would work just as well with Flow typing or even a completely new type checker.
I have used NixOS for a while. But for casual desktop GNU/Linux users, it seem like solving a problem that doesn't exist. Have been using Debian on all my computers since 1998. Unless you are using Debian unstable and updating it daily, I hardly hit any breakage.
Servers and deployments is another story.
There are cases where military aircraft pointed their lasers (likely invisible IR lasers) at photographers. It's unclear if this was intentional and what kind of laser (e.g. rangefinder or designator) it was, but the laser likely wasn't meant as a weapons system but still fried the camera, with visible scorch marks.
I can't imagine eyes faring much better than the sensor if hit.