Can you please expand further? If I annotated my js, how would the browser check and enforce my types? Would the checks include js-to-js code? What is the js script that I should include at the top of my <head>?
> how would the browser check and enforce my types?
If this is what you're looking for, you aren't going to get it with TypeScript, even if you could parse it in the browser. It might be possible to port or build a TypeScript parser that runs in the browser (it might even be done already) but this would mean sending a LOT of code over the wire for something that was designed as a static analysis tool.
JS will eventually include its own type system so that you will be able to write typed code and have it run in the browser. However, even then the types won't be checked at runtime. You'll still have to rely on a tool like `tsc` to type check your code.
> Derrick Rossi doesn’t quite see it this way, but he kind of saved the world.
>
> In 2008, he began researching messenger RNA (mRNA), building on the long-ignored work of Hungarian researcher Katalin Karikó
What?! Katalin Karikó is an SVP at BioNTech, the lab that created Pfizer's vaccine.
Most formal languages are created with an specific purpose, so there isn't simply a "best" one. You normally use tons of them in academia, and many times simultaneously.
If you give more information about what you are looking for, we may be able to help you.
If you just want to learn something interesting though, I'd say typed lambda calculus is a great option.
Also, I'd like to see statistics about how much of Flatiron-like schools and traditional schools graduates manage to get above-avarage salaries in their field. Comparing with other fields makes little sense.
once the eval() invocation is complete and the code generated/compiled the performance should be the same as the code normally written. Basically it's only compiler from []{}!+ to javascript.
True, however they should be very well compressible by 'deflate' too, the main concern is the initial parsing grok by the JIT.
Yet, on runtime the scripts will be good as any.
The author here: as mentioned in the article, it started as part of a security research, but once started I couldn't help myself from pushing it further and see how far I could get. So I guess it's curiosity and a fun mental exercise, and maybe probing yourself that you can do something that you thought was impossible.